8 search results - page 1 / 2 » Measuring a Java Test Suite Coverage Using JML Specification... |
ENTCS
2007
13 years 4 months ago
2007
ICST
2009
IEEE
13 years 2 months ago
2009
IEEE
Measurement and detection of redundancy in test suites attempt to achieve test minimization which in turn can help reduce test maintenance costs, and to also ensure the integrity ...
ICSM
2007
IEEE
13 years 11 months ago
2007
IEEE
Test suite reduction seeks to reduce the number of test cases in a test suite while retaining a high percentage of the original suite’s fault detection effectiveness. Most appro...
DAC
2004
ACM
13 years 8 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
IEE
2010
13 years 3 months ago
2010
Popular code coverage measures, such as branch coverage, are indicators of the thoroughness rather than the fault detection capability of test suites. Mutation testing is a fault-...