Automated Software Test Data Generation
IEEE Transactions on Software Engineering
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modern Compiler Implementation in C
Modern Compiler Implementation in C
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
Fitness Function Design To Improve Evolutionary Structural Testing
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Instrumenting Programs With Flag Variables For Test Data Search By Genetic Algorithms
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
An Automated Framework for Structural Test-Data Generation
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Evolutionary Testing Supported by Slicing and Transformation
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
A mathematical theory of global program optimization (Prentice-Hall series in automatic computation)
A mathematical theory of global program optimization (Prentice-Hall series in automatic computation)
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 state-based programs
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
A unified fitness function calculation rule for flag conditions to improve evolutionary testing
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Evolutionary Testing Using an Extended Chaining Approach
Evolutionary Computation
The species per path approach to SearchBased test data generation
Proceedings of the 2006 international symposium on Software testing and analysis
Proceedings of the 2007 international symposium on Software testing and analysis
Search based software testing of object-oriented containers
Information Sciences: an International Journal
Automatic, evolutionary test data generation for dynamic software testing
Journal of Systems and Software
Empirical evaluation of a nesting testability transformation for evolutionary testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Evolutionary testing of software with function-assigned flags
Journal of Systems and Software
Testability transformation: program transformation to improve testability
Formal methods and testing
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Journal of Systems and Software
FlagRemover: A testability transformation for transforming loop-assigned flags
ACM Transactions on Software Engineering and Methodology (TOSEM)
Evolutionary testing techniques
SAGA'05 Proceedings of the Third international conference on StochasticAlgorithms: foundations and applications
Hi-index | 0.00 |
Evolutionary Testing (ET) has been shown to be very successful in testing real world applications [16]. However, it has been pointed out [11], that further research is necessary if flag variables appear in program expressions. The problems increase when ET is used to test state-based applications where the encoding of states hinders successful evolutionary tests. This is because the ET performance is reduced to a random test in case of the use of flag variables or variables that encode an enumeration type. The authors have developed an ET System to provide easy access to automatic testing. An extensive set of programs has been tested using this system [4], [16]. This system is extended for new areas of software testing and research has been carried out to improve its performance. This paper introduces a new approach for solving ET problems with flag conditions. The problematic constructs are explained with the help of code examples originally found in large real world applications.