85
Voted
ENTCS
2007
15 years 10 days ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...