Towards a theory for integration of mathematical verification and empirical testing (1998)

by M Lowry, M Boyd, D Kulkami
Venue:In 13th IEEE International Conference on Automated Software Engineering