An Evaluation of Model Checkers for Specification Based Test Case Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gordon Fraser, Angelo Gargantini. An Evaluation of Model Checkers for Specification Based Test Case Generation. In ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA. pages 41-50, IEEE Computer Society, 2009. [doi]

This author has not been identified. It may be one of the following persons:

Gordon Fraser

Look up 'Gordon Fraser' in GoogleThis author has not been identified. Look up 'Angelo Gargantini' in Google

runs on WebDSL