Model Checking Programs (2000)

by W Visser, K Havelund, G Brat, S Park
Venue:in Proc. of the 15th IEEE International Conference on Automated Software Engineering (ASE'2000