Testing with model checkers: a survey (0)

by Gordon Fraser, Franz Wotawa, Paul Ammann
Venue:Softw. Test., Verif. Reliab