Model checking programs. (2003)

by W Visser, K Havelund, G Brat, S J Park, F Lerda
Venue:FMSD,