Model checking programs (2000)

by G Brat, K Havelund, S Park, W Visser
Venue:IEEE Int. Conf. on Automated Sofware Engineering (ASE