Model checking programs (2000)

by G Brat, K Havelund, S Park, W Visser
Venue:In IEEE International Conference on Automated Software Engineering