Software reliability and testing - Pham, Hoang 1960- (IEEE Computer Society Press, 1996)