Model Checking for Programming Languages Using VeriSoft (1997)

by P Godefroid
Venue:In Proceedings of the 24th ACM Symposium on Principles of Programming Languages