Model checking programs (2003)

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