Automated Software Test Data Generation
IEEE Transactions on Software Engineering
The design and implementation of an intentional naming system
Proceedings of the seventeenth ACM symposium on Operating systems principles
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Software Testing Techniques
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Cleanroom Software Engineering
IEEE Software
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering
On the Automated Generation of Program Test Data
IEEE Transactions on Software Engineering
Exploring Very Large State Spaces Using Genetic Algorithms
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |
Various attempts have been made to use genetic algorithms (GAs) for software testing, a problem that consumes a large amount of time and effort in software development. We demonstrate the use of GAs in automating testing of complex data structures and methods for manipulating them, which to our knowledge has not been successfully displayed before on non-trivial software structures. We evaluate the effectiveness of our GA-based test suite generation technique by applying it to test the design and implementation of the Intentional Naming System (INS), a new scheme for resource discovery and service location in a dynamic networked environment. Our analysis using GAs reveals serious problems with both the design of INS and its inventors' implementation.