Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software testing and evaluation
Software testing and evaluation
Predicate calculus and program semantics
Predicate calculus and program semantics
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Adaptation in natural and artificial systems
Adaptation in natural and artificial systems
Genetic programming (videotape): the movie
Genetic programming (videotape): the movie
Assertion-oriented automated test data generation
Proceedings of the 18th international conference on Software engineering
Evolutionary algorithms in theory and practice: evolution strategies, evolutionary programming, genetic algorithms
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Intelligence through simulated evolution: forty years of evolutionary programming
Intelligence through simulated evolution: forty years of evolutionary programming
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
An axiomatic basis for computer programming
Communications of the ACM
Art of Software Testing
A Discipline of Programming
Testing real-time systems using genetic algorithms
Software Quality Control
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
Distributed Genetic Algorithms
Proceedings of the 3rd International Conference on Genetic Algorithms
Structure and Performance of Fine-Grain Parallelism in Genetic Search
Proceedings of the 5th International Conference on Genetic Algorithms
Serial and Parallel Genetic Algorithms as Function Optimizers
Proceedings of the 5th International Conference on Genetic Algorithms
The Distributed Genetic Algorithm Revisited
Proceedings of the 6th International Conference on Genetic Algorithms
Partial Order Reduction in Directed Model Checking
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
An Automated Framework for Structural Test-Data Generation
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Data Generation for Path Testing
Software Quality Control
DART: directed automated random testing
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
CUTE: a concolic unit testing engine for C
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Parallel Metaheuristics: A New Class of Algorithms
Parallel Metaheuristics: A New Class of Algorithms
Automatic Generation of Floating-Point Test Data
IEEE Transactions on Software Engineering
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering
Evolutionary software engineering, a review
Applied Soft Computing
Automatic generation of random self-checking test cases
IBM Systems Journal
The state problem for evolutionary testing
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Software testing with evolutionary strategies
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Parallelism and evolutionary algorithms
IEEE Transactions on Evolutionary Computation
The Current State and Future of Search Based Software Engineering
FOSE '07 2007 Future of Software Engineering
Automated test data generation using a scatter search approach
Information and Software Technology
Search-based multi-paths test data generation for structure-oriented testing
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation
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
Grouping target paths for evolutionary generation of test data in parallel
Journal of Systems and Software
AUSTIN: An open source tool for search based software testing of C programs
Information and Software Technology
Evolutionary algorithms for the multi-objective test data generation problem
Software—Practice & Experience
Information Sciences: an International Journal
Dynamic stopping criteria for search-based test data generation for path testing
Information and Software Technology
| Hi-index | 0.01 |
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatically creating a set of input data to test a program. This is a fundamental step in software development and a time consuming task in existing software companies. Canonical sequential EAs have been used in the past for this task. We explore here the use of parallel EAs. Evidence of greater efficiency, larger diversity maintenance, additional availability of memory/CPU, and multi-solution capabilities of the parallel approach, reinforce the importance of the advances in research with these algorithms. We describe in this work how canonical genetic algorithms (GAs) and evolutionary strategies (ESs) can help in software testing, and what the advantages are (if any) of using decentralized populations in these techniques. In addition, we study the influence of some parameters of the proposed test data generator in the results. For the experiments we use a large benchmark composed of twelve programs that includes fundamental algorithms in computer science.