Model Checking Programs (2003)

by W Visser, K Havelund, G Brat, S J Park, F Lerda
Venue:Automated Software Engineering Journal