An Evaluation of Model Checkers for Specification Based Test Case Generation.

Gordon Fraser, Angelo Gargantini

Browse the full ICST paper archive.