(Enter summary)
Abstract: 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 automatic and
supports all C/C++ language constructs. This allows us to generate tests for programs more complex
than those previously reported in the literature. We address a number of issues that are encountered when
automatically generating tests for complex software systems. These issues have not been discussed
... (Update)
Context of citations to this paper: More
.... are among others alternating variable, simulated annealing, genetic algorithms, iterative relaxation and di#erent heuristics [5, 14, 10, 7, 3]. 4.7. Oracle One way to drastically reduce the e#ort of testing is to have an oracle that would check if the test case failed or...
Cited by: More
A Survey on Automatic Test Data Generation - Edvardsson (1999)
(Correct)
Similar documents (at the sentence level):
42.4%: Opportunism and Diversity in Automated Software Test Data.. - Christoph Michael (1997)
(Correct)
24.3%: Generating Software Test Data by Evolution - Mcgraw (1997)
(Correct)
Active bibliography (related documents): More All
0.4: Genetic Algorithms for Dynamic Test Data Generation - Michael, McGraw, Schatz.. (1997)
(Correct)
0.2: Integrating Automated Testing with Exception Freeness .. - Tracey, Clark.. (1999)
(Correct)
0.2: Antirandom vs. Psuedorandom Testing - Shenhui Wu Yashwant
(Correct)
Similar documents based on text: More All
0.2: Gadget: A Tool for Extracting the Dynamic Structure of Java .. - Gargiulo, Mancoridis (2001)
(Correct)
0.2: Gadgets, Approximation, and Linear Programming - Trevisan, Sorkin, Sudan.. (1999)
(Correct)
0.2: GADGET: Goal-Oriented Application Design Guidance.. - Fujishiro.. (1997)
(Correct)
BibTeX entry: (Update)
C. Michael and G. McGraw. Automated software test data generation for complex programs. In 13th IEEE International Conferance on Automated Software Engineering, pages 136--146, October 1998. http://citeseer.ist.psu.edu/michael98automated.html More
@inproceedings{ michael98automated,
author = "Christoph C. Michael and Gary McGraw",
title = "Automated Software Test Data Generation for Complex Programs",
booktitle = "Automated Software Engineering",
pages = "136-146",
year = "1998",
url = "citeseer.ist.psu.edu/michael98automated.html" }
Citations (may not include all citations):
1527
Optimization by simulated annealing
- Kirkpatrick, Gellat et al. - 1983
63
Automated software test data generation (context) - Korel - 1990
44
An evaluation of random testing (context) - Duran, Natfos - 1984
33
Achieving software quality with testing coverage measures (context) - Horgan, London et al. - 1994
18
Generating software test data by evolution
- McGraw, Michael et al. - 1997
17
Adtest: A test data generation suite for ada software system.. (context) - Gallagher, Narasimhan - 1997
13
Automated test data generation for programs with procedures (context) - Korel - 1996
13
Applicability of modified condition/decision coverage to sof.. (context) - Chilenski, Miller - 1994
12
the usage of differential evolution for function optimizatio.. (context) - Storn - 1996
9
Automatic generation of floating point test data (context) - Miller, Spooner - 1976
5
A performance evaluation of heuristics-based test case gener.. (context) - Chang, Cross et al. - 1996
4
Automatic test generation using checkpoint encoding and anti..
- Yin, Lebne-Dengel et al. - 1997
1
Genetic algorithms for test data generation (context) - Michael, McGraw et al. - 1997
Documents on the same site (http://rstcorp.com/papers/chrono-1998.html): More
COTS Software Failures: Can Anything be Done? - Voas, Payne
(Correct)
Agent Trustworthiness - Kassab, Voas (1998)
(Correct)
An Automated Approach for Identifying Potential.. - Ghosh, O'Connor, McGraw (1998)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC