1925 search results - page 81 / 385 » Incremental test collections |
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
ICSM
2005
IEEE
15 years 5 months ago
2005
IEEE
Test suite reduction is an important test maintenance activity that attempts to reduce the size of a test suite with respect to some criteria. Emerging trends in software developm...
FATES
2003
Springer
15 years 5 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
ICSE
2005
IEEE-ACM
15 years 12 months ago
2005
IEEE-ACM
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
TOOLS
2008
IEEE
15 years 6 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...