DMCA

An Evaluation of Model Checkers for Specification Based Test Case Generation

Cached

Download Links

by Gordon Fraser , Angelo Gargantini
Citations:4 - 3 self