206 search results - page 2 / 42 » Predicting Effectiveness of Automatic Testing Tools |
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
DAC
2005
ACM
14 years 10 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
BIBE
2005
IEEE
14 years 3 months ago
2005
IEEE
Human Papilloma Virus (HPV) is a sexually transmitted virus, which can lead to cervical cancer. HPV DNA is found in cervical cancers with types 16, 18, 31 and 45 accounting for mo...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Mutants are automatically-generated, possibly faulty variants of programs. The mutation adequacy ratio of a test suite is the ratio of non-equivalent mutants it is able to identif...