model checking programs (0)

by W Visser, K Havelund, G Brat, S Park
Venue:In Proc. of the 5 th Int. Conf. on Automated Software Engineering, IEEE Computer Society