Model checking programs,” ASEJ (2003)

by W Visser, K Havelund, G Brat, S Park