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.)
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Applying tabu search to the job-shop scheduling problem
Annals of Operations Research - Special issue on Tabu search
Applying tabu search with influential diversification to multiprocessor scheduling
Computers and Operations Research - Special issue: heuristic, genetic and tabu search
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
A tabu search heuristic for the heterogenous fleet vehicle routing problem
Computers and Operations Research
Automated test-data generation for exception conditions
Software—Practice & Experience
Automatic test data generation for path testing using GAs
Information Sciences: an International Journal
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
Art of Software Testing
Tabu Search
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
An Automated Framework for Structural Test-Data Generation
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Data Generation for Path Testing
Software Quality Control
Graph Theory with Applications to Engineering and Computer Science (Prentice Hall Series in Automatic Computation)
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
Using Tabu Search to Estimate Software Development Effort
IWSM '09 /Mensura '09 Proceedings of the International Conferences on Software Process and Product Measurement
Towards software test data generation using discrete quantum particle swarm optimization
Proceedings of the 3rd India software engineering conference
Factors affecting the use of genetic algorithms in test suite augmentation
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
Directed test suite augmentation: techniques and tradeoffs
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Application of genetic algorithm and tabu search in software testing
COMPUTE '11 Proceedings of the Fourth Annual ACM Bangalore Conference
Directed test suite augmentation
Proceedings of the 33rd International Conference on Software Engineering
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
Survey: A survey on search-based software design
Computer Science Review
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
Automated test generation for multi-state systems
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Cellular-genetic test data generation
ACM SIGSOFT Software Engineering Notes
Artificial life and cellular automata based automated test case generator
ACM SIGSOFT Software Engineering Notes
Automatic generation of basis test paths using variable length genetic algorithm
Information Processing Letters
| Hi-index | 0.01 |
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automation of the test generation task, whereas previous works have used other techniques such as genetic algorithms. The developed test generator has a cost function for intensifying the search and another for diversifying the search that is used when the intensification is not successful. It also combines the use of memory with a backtracking process to avoid getting stuck in local minima. Evaluation of the generator was performed using complex programs under test and large ranges for input variables. Results show that the developed generator is both effective and efficient.