Reducing bias and inefficiency in the selection algorithm
Proceedings of the Second International Conference on Genetic Algorithms on Genetic algorithms and their application
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Proceedings of the third international conference on Genetic algorithms
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Automated test-data generation for exception conditions
Software—Practice & Experience
Symbolic execution and program testing
Communications of the ACM
Systematic design of program transformation frameworks by abstract interpretation
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using genetic algorithms and coupling measures to devise optimal integration test orders
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Test and Evaluation by Genetic Algorithms
IEEE Expert: Intelligent Systems and Their Applications
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
VADA: A Transformation-Based System for Variable Dependence Analysis
SCAM '02 Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation
Data Generation for Path Testing
Software Quality Control
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
IEEE Transactions on Software Engineering
Stress testing real-time systems with genetic algorithms
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
The species per path approach to SearchBased test data generation
Proceedings of the 2006 international symposium on Software testing and analysis
Proceedings of the 2007 international symposium on Software testing and analysis
Automatic Generation of Floating-Point Test Data
IEEE Transactions on Software Engineering
Exact routing with search space reduction
IEEE Transactions on Computers
Empirical analysis of a genetic algorithm-based stress test technique
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Automated test data generation for aspect-oriented programs
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Empirical evaluation of a nesting testability transformation for evolutionary testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information and Software Technology
Assessing the impact of global variables on program dependence and dependence clusters
Journal of Systems and Software
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Journal of Systems and Software
Transition coverage testing for simulink/stateflow models using messy genetic algorithms
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Strong higher order mutation-based test data generation
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Search based software engineering: techniques, taxonomy, tutorial
Empirical Software Engineering and Verification
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Test data regeneration: generating new test data from existing test data
Software Testing, Verification & Reliability
Grouping target paths for evolutionary generation of test data in parallel
Journal of Systems and Software
Search-based software engineering: Trends, techniques and applications
ACM Computing Surveys (CSUR)
AUSTIN: An open source tool for search based software testing of C programs
Information and Software Technology
Dynamic stopping criteria for search-based test data generation for path testing
Information and Software Technology
Hi-index | 0.00 |
There has recently been a great deal of interest in search-based test data generation, with many local and global search algorithms being proposed. However, to date, there has been no investigation ofthe relationship between the size of the input domain (the search space) and performance of search-based algorithms. Static analysis can be used to remove irrelevant variables for a given test data generation problem, thereby reducing the search space size. This paper studies the effect of this domain reduction, presenting results from the application of local and global search algorithms to real world examples. This provides evidence to support the claimthat domain reduction has implications for practical search-based test data generation.