Software error detection through testing and analysis - Huang, J. C. 1935- (John Wiley & Sons, 2009)