291 search results - page 8 / 59 » Software-Test |
KBSE
1998
IEEE
14 years 2 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
CSSE
2008
IEEE
14 years 4 months ago
2008
IEEE
—By utilizing XML representations of source programs under test, a new approach is proposed to concisely implement some prototypes for TACCLE, a software testing methodology. The...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...
ISCI
2008
13 years 10 months ago
2008
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been inve...