The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
An integrated system for automatically generating test data
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Symbolic execution and program testing
Communications of the ACM
Software Testability: The New Verification
IEEE Software
Instrumenting Programs With Flag Variables For Test Data Search By Genetic Algorithms
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
An Automated Framework for Structural Test-Data Generation
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
IEEE Transactions on Software Engineering
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
Branch-Coverage Testability Transformation for Unstructured Programs
The Computer Journal
Evolutionary testing of flag conditions
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
The Current State and Future of Search Based Software Engineering
FOSE '07 2007 Future of Software Engineering
Proceedings of the 2007 international symposium on Software testing and analysis
The impact of input domain reduction on search-based test data generation
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Polyglot: automatic extraction of protocol message format using dynamic binary analysis
Proceedings of the 14th ACM conference on Computer and communications security
Locating dependence structures using search-based slicing
Information and Software Technology
Automatic, evolutionary test data generation for dynamic software testing
Journal of Systems and Software
Use of genetic algorithm in generation of feasible test data
ACM SIGSOFT Software Engineering Notes
Automated test data generation for aspect-oriented programs
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Search-based failure discovery using testability transformations to generate pseudo-oracles
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Using program data-state scarcity to guide automatic test data generation
Software Quality Control
Iterative execution-feedback model-directed GUI testing
Information and Software Technology
Quality improvement and optimization of test cases: a hybrid genetic algorithm based approach
ACM SIGSOFT Software Engineering Notes
Abstract path testing with PathCrawler
Proceedings of the 5th Workshop on Automation of Software Test
The relationship between search based software engineering and predictive modeling
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
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
A multi-objective evolutionary algorithm to obtain test cases with variable lengths
Proceedings of the 13th annual conference on Genetic and evolutionary computation
A multiple-population genetic algorithm for branch coverage test data generation
Software Quality Control
Why the virtual nature of software makes it ideal for search based optimization
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Search-based fault localization
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
Heuristic search-based approach for automated test data generation: a survey
International Journal of Bio-Inspired Computation
Partition-based regression verification
Proceedings of the 2013 International Conference on Software Engineering
Dynamic stopping criteria for search-based test data generation for path testing
Information and Software Technology
Automatic generation of basis test paths using variable length genetic algorithm
Information Processing Letters
Hi-index | 0.00 |
This paper introduces the Species per Path approach to search-based software test data generation. The approach transforms the program under test into a version in which multiple paths to the search target are factored out. Test data are then sought for each individual path by dedicated 'species' operating in parallel. The factoring out of paths results in several individual search landscapes, with feasible paths giving rise to landscapes that are potentially more conducive to test data discovery than the original overall landscape.The paper presents the results of two empirical studies that validate and verify the approach. The validation study supports the claim that the approach is widely applicable and practical. The verification study shows that it is possible to generate test data for targets with the approach that are troublesome for the standard evolutionary method.