Automated test data generation for programs with procedures (1996)

by B Korel
Venue:Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA