Model checking programs (2000)

by Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park
Venue:In Proceedings of the International Conference on Automated Software Engineering (ASE