3 search results - page 1 / 1 » Simulated Satisfaction of Coverage Criteria on UML State Mac... |
ICST
2010
IEEE
13 years 9 months ago
2010
IEEE
MBEES
2008
14 years 8 days ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
ESEM
2007
ACM
14 years 2 months ago
2007
ACM
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...