Testing with Model Checkers: A Survey (0)

by G Fraser, F Wotawa, P E Ammann
Venue:Journal Software Testing, Verification & Reliability