Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated program flaw finding using simulated annealing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
From Natural to Artificial Swarm Intelligence
From Natural to Artificial Swarm Intelligence
Instrumenting Programs With Flag Variables For Test Data Search By Genetic Algorithms
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
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
Evolutionary testing of state-based programs
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Search-based mutation testing for Simulink models
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
The state problem for test generation in Simulink
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
Automatic mutation test input data generation via ant colony
Proceedings of the 9th annual conference on Genetic and evolutionary computation
A systematic approach to automatically generate test scenarios from UML activity diagrams
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
Computers and Operations Research
Proceedings of the 3rd international workshop on Automation of software test
Search based software testing of object-oriented containers
Information Sciences: an International Journal
Evolutionary testing of autonomous software agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Applying Evolutionary Computation Methods to Formal Testing and Model Checking
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Quality improvement and optimization of test cases: a hybrid genetic algorithm based approach
ACM SIGSOFT Software Engineering Notes
Testability transformation: program transformation to improve testability
Formal methods and testing
Search-based test data generation from stateflow statecharts
Proceedings of the 12th annual conference on Genetic and evolutionary computation
The relationship between search based software engineering and predictive modeling
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
Using anti-ant-like agents to generate test threads from the UML diagrams
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Evolutionary testing techniques
SAGA'05 Proceedings of the Third international conference on StochasticAlgorithms: foundations and applications
Software coverage: a testing approach through ant colony optimization
SEMCCO'11 Proceedings of the Second international conference on Swarm, Evolutionary, and Memetic Computing - Volume Part I
Evolutionary testing of autonomous software agents
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
This paper shows how the presence of states in test objects can hinder or render impossible the search for test data using evolutionary testing. Additional guidance is required to find sequences of inputs that put the test object into some necessary state for certain test goals to become feasible. It is shown that data dependency analysis can be used to identify program statements responsible for state transitions, and then argued that an additional search is needed to find required transition sequences. In order to be able to deal with complex examples, the use of ant colony optimization is proposed. The results of a simple initial experiment are reported.