The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Symbolic execution and testing
Information and Software Technology
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Symbolic execution and program testing
Communications of the ACM
A new approach to program testing
Proceedings of the international conference on Reliable software
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
Software Testing, Verification & Reliability - UKTest 2005: The Third U.K. Workshop on Software Testing Research
Hi-index | 0.00 |
The application of heuristic search techniques, such as genetic algorithms, to the problem of automatically generating software test data has been a growing interest for many researchers in recent years. In this paper, the program operations, in the form of the program-specific operations used to increase the performance in the generation of test data. The efficacy and performance of the proposed testing approach is assessed and validated using a variety of sample programs, and the empirical investigation is shown to give more than eightfold increase in performance.