Model checking programs (2000)

by Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park
Venue:In Int. Conf. on Automated Software Engineering