DMCA

An Evaluation of Model Checkers for Specification Based Test Case Generation

Cached

Download Links

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