Automated Test Data Search in the Presence of Nesting Phil McMinn University...  Home/Search
Context
Related
| dcs.kcl.ac.uk/staff/mark...uktest05.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: dcs.kcl.ac.uk/staff/mark...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The application of metaheuristic search techniques to the automatic generation of software test data has been shown to be an e#ective approach for a variety of testing criteria. However, for structural testing, the dependence of a target structure on nested decision statements can cause e#ciency problems for the search, and failure in severe cases. This is because all information useful for guiding the search - in the form of the values of variables at branching predicates - is only... (Update)
Active bibliography (related documents): More All
3.8: Testability Transformation for Efficient Automated Test.. - McMinn, Binkley, Harman (Correct)
2.1: Search-based Software Test Data Generation: A Survey - McMinn (2004) (Correct)
1.6: Evolutionary Testing of State-Based Programs - McMinn, Holcombe (2005) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ data-testability,
author = "Automated Test Data",
title = "Testability Transformation for Ecient",
url = "citeseer.ist.psu.edu/754757.html" }
Citations (may not include all citations):480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
63 Automated software test data generation (context) - Korel - 1990
35 Test-data generation using genetic algorithms - Pargas, Harrold et al. - 1999
31 Automatic structural testing using genetic algorithms (context) - Jones, Sthamer et al. - 1996
29 Automated program flaw finding using simulated annealing (context) - Tracey, Clark et al. - 1998
26 The chaining approach for software test data generation (context) - Ferguson, Korel - 1996
26 The way forward for unifying dynamic test-case generation: T.. (context) - Tracey, Clark et al. - 1998
26 Evolutionary test environment for automatic structural testi.. (context) - Wegener, Baresel et al. - 2001
15 An automated framework for structural test-data generation - Tracey, Clark et al. - 1998
13 Fitness function design to improve evolutionary structural t.. (context) - Baresel, Sthamer et al. - 2002
12 Verifying timing constraints of real-time systems by means o.. (context) - Wegener, Grochtmann - 1998
11 Systematic testing of real-time systems (context) - Wegener, Grimm et al. - 1996
11 Testing the results of static worst-case execution-time anal.. - Puschner, Nossal - 1998
10 Improving evolutionary testing by flag removal - Harman, Hu et al. - 2002
10 IEEE Transactions on Software Engineering (context) - Harman, Hu et al. - 2004
8 Dynamic method for software test data generation (context) - Korel - 1992
7 Automated test data generation for exception conditions (context) - Tracey, Clark et al. - 2000
7 A Search-Based Automated Test-Data Generation Framework for .. (context) - Tracey - 2000
6 Assertion-oriented automated test data generation (context) - Korel, Al-Yami - 1996
5 Evolutionary testing in the presence of loop-assigned flags:.. - Baresel, Binkley et al. - 2004
4 An overview of evolutionary algorithms: Practical issues and.. - Whitley - 2001
4 Search-based software test data generation: A survey - McMinn - 2004
4 Application of genetic algorithms to software testing (context) - Xanthakis, Ellis et al. - 1992
3 The automatic generation of software test data sets using ad.. (context) - Jones, Sthamer et al. - 1995
3 Hybridizing evolutionary testing with the chaining approach - McMinn, Holcombe - 2004
3 Automatisierung von strukturtests mit evolutionren algorithm.. (context) - Baresel - 2000
2 Branch-coverage testability transformation for unstructured .. (context) - Hierons, Harman et al. - 2005
http://www.geatbx.com
Documents on the same site (http://www.dcs.kcl.ac.uk/staff/mark/papers.html): More
Search-Based Software Engineering - Harman, Jones (2001) (Correct)
Backward Conditioning: a new program specialisation.. - Fox, Harman, Hierons.. (2001) (Correct)
Program Simplification as a Means of Approximating.. - Harman, Binkley.. (1999) (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