Andre Baresel, Mark Harman  Home/Search
Context Related
| mit.edu/readinggr...el04testability.ps Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: mit.edu/readinggroup/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Evolutionary testing is an e#ective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing in the presence of flag variables, which also present problems for other automated test data generation techniques. Previous work on the flag problem does not address flags assigned in loops. (Update)
Cited by: More
Testability Transformation for Ecient - Automated Test Data (Correct)
Amorphous Procedure Extraction - Mark Harman David (Correct)
Evolutionary Testing of State-Based Programs - McMinn, Holcombe (2005) (Correct)
Active bibliography (related documents): More All
5.3: Evolutionary Testing in the Presence of Loop-Assigned Flags.. - Baresel, Harman (2004) (Correct)
1.2: Analysis and Visualization of - Predicate Dependence On (Correct)
1.1: Search-based Software Test Data Generation: A Survey - McMinn (2004) (Correct)
Similar documents based on text: More All
0.6: Testability Transformation - Mark Harman Lin (2004) (Correct)
0.6: Improving Evolutionary Testing by Flag Removal - Harman, Hu, Hierons, Baresel, .. (2002) (Correct)
0.5: Evolutionary Testing Supported by Slicing and.. - Harman, Hu, Hierons.. (2002) (Correct)
Related documents from co-citation: More All
4: IEEE Transactions on Software Engineering (context) - Harman, Hu et al. - 2004
4: Fitness function design to improve evolutionary structural testing (context) - Baresel, Sthamer et al. - 2002
3: Hybridizing evolutionary testing with the chaining approach - McMinn, Holcombe - 2004
BibTeX entry: (Update)
A. Baresel, D. Binkley, M. Harman, and B. Korel. Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004), pages 43--52, Boston, Massachusetts, USA, 2004. ACM. http://citeseer.ist.psu.edu/article/baresel04evolutionary.html More
@misc{ baresel04evolutionary,
author = "A. Baresel and D. Binkley and M. Harman and B. Korel",
title = "Evolutionary testing in the presence of loop-assigned flags: A testability
transformation approach",
text = "A. Baresel, D. Binkley, M. Harman, and B. Korel. Evolutionary testing in
the presence of loop-assigned flags: A testability transformation approach.
In Proceedings of the International Symposium on Software Testing and Analysis
(ISSTA 2004), pages 43--52, Boston, Massachusetts, USA, 2004. ACM.",
year = "2004",
url = "citeseer.ist.psu.edu/article/baresel04evolutionary.html" }
Citations (may not include all citations):353 An Introduction to Genetic Algorithms (context) - Mitchell - 1996
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
214 Adaption in Natural and Artificial Systems (context) - Holland - 1975
81 The Specification and Transformation of Programs: A Formal A.. (context) - Partsch - 1990
57 and practical investigations of an automatic program abstrac.. (context) - Weiser, Formal - 1979
54 A system to generate test data and symbolically execute prog.. (context) - Clarke - 1976
49 Symbolic execution and program testing (context) - King - 1976
49 Centrum voor Wiskunde en Informatica - Tip, of et al. - 1994
40 Program slicing (context) - Binkley, Gallagher - 1996
35 Software testability: The new verification - Voas, Miller - 1995
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 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
26 The chaining approach for software test data generation (context) - Ferguson, Korel - 1996
21 ACM Transactions on Programming Languages and Systems (context) - Feather, for et al. - 1982
18 Generating software test data by evolution - Michael, McGraw et al. - 2001
17 Reverse engineering through formal transformation - Ward - 1994
15 Symbolic execution systems - a review (context) - Coward - 1988
14 A tranformation system for developing recursive programs (context) - Darlington, Burstall - 1977
14 A comparison of static analysis and evolutionary testing for.. - Wegener, Mueller - 2001
14 A comparison of static analysis and evolutionary testing for.. - Mueller, Wegener - 1998
13 Software considerations in airborne systems and equipment ce.. (context) - Commission, Aeronautics et al. - 1992
13 Fitness function design to improve evolutionary structural t.. (context) - Baresel, Sthamer et al. - 2002
13 A strategy for using genetic algorithms to automate branch a.. (context) - Jones, Eyres et al. - 1998
12 Testing real-time systems using genetic algorithms (context) - Wegener, Sthamer et al. - 1997
11 Testing the results of static worst--case execution-time ana.. - Puschner, Nossal - 1998
11 Systematic testing of real-time systems (context) - Wegener, Grimm et al. - 1996
10 IEEE Transactions on Software Engineering (context) - Harman, Hu et al. - 2004
9 Instrumenting programs with flag variables for test data sea.. (context) - Bottaci - 2002
8 Test and evaluation by genetic algorithms (context) - Schultz, Grefenstette et al. - 1993
8 Reformulating software engineering as a search problem (context) - Clark, Dolado et al. - 2003
8 Information and Software Technology (context) - Harman, Jones et al. - 2001
7 An empirical investigation of the influence of a type of sid.. (context) - Dolado, Harman et al. - 2003
6 The codesurfer slicing system (context) - Inc - 2002
6 Evolutionary testing of flag conditions (context) - Baresel, Sthamer - 2003
5 The evolution of programs: A system for automatic program mo.. (context) - Dershowitz, Manna - 1977
4 BS 7925-1 vocabulary of terms in software testing (context) - Institute - 1998
3 Experimental results from an automatic test generator (context) - DeMillo, utt - 1993
3 BS 7925-2 software component testing (context) - Institute - 1998
3 Testing the temporal behavior of real-time software modules .. - Pohlheim, Wegener - 1999
2 Verification and Reliability (context) - McMinn, of et al.
2 Genetic and evolutionary algorithm toolbox for use with Matl.. (context) - Pohlheim
2 An integrated system for automatically generating test data (context) - utt - 1990
Documents on the same site (http://pag.lcs.mit.edu/reading-group/): More
The Set Constraint/CFL Reachability Connection in Practice - Kodumal, Aiken (2004) (Correct)
Finding and Preventing Run-Time Error Handling Mistakes - Westley Weimer George (2004) (Correct)
Static and Dynamic Analysis of Call Chains in Java - Atanas Rountev Scott (2004) (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