An evaluation of model checkers for specification based test case (2009)

by G Fraser, A Gargantini
Venue:generation,” inProceedings of the 2nd International Conference on Software Testing, Verification, and Validation (ICST ’09),