Testing computer software - Kaner C E M (2000)