Software reliability and testing (IEEE Computer Soc. Press, 1995)