DMCA

An Evaluation of Specification Based Test Generation Techniques using Model Checkers

Cached

Download Links

by Gordon Fraser , Angelo Gargantini