Test generation using model checking (0)

by H Tran
Venue:European Conference on Software Maintenance and Reengineering, CSMR2001, http://www..cs.toronto.edu/~chechik/courses00/csc2108/ projects/4.pdf