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