Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Adaptation in natural and artificial systems
Adaptation in natural and artificial systems
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Symbolic execution and program testing
Communications of the ACM
Automatic test data generation for path testing using GAs
Information Sciences: an International Journal
Art of Software Testing
Multi-Objective Optimization Using Evolutionary Algorithms
Multi-Objective Optimization Using Evolutionary Algorithms
Korat: automated testing based on Java predicates
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Fitness Function Design To Improve Evolutionary Structural Testing
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Improving Evolutionary Testing By Flag Removal
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
On the divide-and-conquer approach towards test suite reduction
Information Sciences: an International Journal
An Automated Framework for Structural Test-Data Generation
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Programmatic Testing of the Standard Template Library Containers
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Data Coverage Testing of Programs for Container Classes
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
TestEra: A Novel Framework for Automated Testing of Java Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Side-Effect Removal Transformation
IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension
IEEE Transactions on Software Engineering
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
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
Evolutionary testing of classes
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests
Proceedings of the 19th IEEE international conference on Automated software engineering
Evolutionary testing of state-based programs
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Using evolutionary algorithms for the unit testing of object-oriented software
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
Empirical Software Engineering
Evolutionary unit testing of object-oriented software using strongly-typed genetic programming
Proceedings of the 8th annual conference on Genetic and evolutionary computation
A specification-based fitness function for evolutionary testing of object-oriented programs
Proceedings of the 8th annual conference on Genetic and evolutionary computation
Test input generation for java containers using state matching
Proceedings of the 2006 international symposium on Software testing and analysis
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Simulated annealing applied to test generation: landscape characterization and stopping criteria
Empirical Software Engineering
Empirical Software Engineering
On Test Data Generation of Object-Oriented Software
TAICPART-MUTATION '07 Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION
Evolutionary testing of flag conditions
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
The state problem for evolutionary testing
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Symstra: a framework for generating object-oriented unit tests using symbolic execution
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
No free lunch theorems for optimization
IEEE Transactions on Evolutionary Computation
Stochastic ranking for constrained evolutionary optimization
IEEE Transactions on Evolutionary Computation
On the automation of fixing software bugs
Companion of the 30th international conference on Software engineering
Editorial: Special Issue on "Nature Inspired Problem-Solving"
Information Sciences: an International Journal
Insight knowledge in search based software testing
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Dealing with inheritance in OO evolutionary testing
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Using automated search to generate test data for matlab
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Information Sciences: an International Journal
Information Sciences: an International Journal
Mutation-driven generation of unit tests and oracles
Proceedings of the 19th international symposium on Software testing and analysis
Formal analysis of the effectiveness and predictability of random testing
Proceedings of the 19th international symposium on Software testing and analysis
Issues in testing collection class libraries
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
A pointcut-based coverage analysis approach for aspect-oriented programs
Information Sciences: an International Journal
Evolutionary repair of faulty software
Applied Soft Computing
Testing container classes: random or systematic?
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Generating parameterized unit tests
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Transition coverage testing for simulink/stateflow models using messy genetic algorithms
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Search-based software testing and test data generation for a dynamic programming language
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Self-adaptive learning based particle swarm optimization
Information Sciences: an International Journal
Bytecode testability transformation
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
New bounds for binary covering arrays using simulated annealing
Information Sciences: an International Journal
Sound empirical evidence in software testing
Proceedings of the 34th International Conference on Software Engineering
Grouping target paths for evolutionary generation of test data in parallel
Journal of Systems and Software
A concept for an interactive search-based software testing system
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Achieving scalable model-based testing through test case diversity
ACM Transactions on Software Engineering and Methodology (TOSEM)
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
Generating test data for both path coverage and fault detection using genetic algorithms
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.07 |
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been investigated recently. Testing complex data structures (e.g., containers) is very challenging since testing software with simple states is already hard. Because containers are used in almost every type of software, their reliability is of utmost importance. Hence, this paper focuses on the difficulties of testing container classes with nature inspired search algorithms. We will first describe how input data can be automatically generated for testing Java containers. Input space reductions and a novel testability transformation are presented to aid the search algorithms. Different search algorithms are then considered and studied in order to understand when and why a search algorithm is effective for a testing problem. In our experiments, these nature inspired search algorithms seem to give better results than the traditional techniques described in literature. Besides, the problem of minimising the length of the test sequences is also addressed. Finally, some open research questions are given.