Automated program flaw finding using simulated annealing

Authors:
Nigel Tracey;John Clark;Keith Mander
Affiliations:
Department of Computer Science, University of York, Heslington, York, YO1 5DD, England;Department of Computer Science, University of York, Heslington, York, YO1 5DD, England;Department of Computer Science, University of York, Heslington, York, YO1 5DD, England
Venue:
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Year:
1998

Citing 9
Cited 51

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
Testing: a challenge to method and tool developers

Software Engineering Journal - Special issue on safety-critical systems
Simulated annealing

Modern heuristic techniques for combinatorial problems
Tabu search

Modern heuristic techniques for combinatorial problems
Automated test data generation for programs with procedures

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
The dynamic domain reduction procedure for test data generation

Software—Practice & Experience
Genetic Algorithms in Search, Optimization and Machine Learning

Genetic Algorithms in Search, Optimization and Machine Learning

SEMINAL: software engineering using metaheuristic INnovative ALgorithms

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The SEMINAL workshop: reformulating software engineering as a metaheuristic search problem

ACM SIGSOFT Software Engineering Notes
Generating Software Test Data by Evolution

IEEE Transactions on Software Engineering
A search-based automated test-data generation framework for safety-critical systems

Systems engineering for business process change
An empirical study of predicate dependence levels and trends

Proceedings of the 25th International Conference on Software Engineering
Property-oriented testing: a strategy for exploring dangerous scenarios

Proceedings of the 2003 ACM symposium on Applied computing
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
Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically

Proceedings of the 19th IEEE international conference on Automated software engineering
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables

IEEE Transactions on Software Engineering
Search-based mutation testing for Simulink models

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
The state problem for test generation in Simulink

Proceedings of the 8th annual conference on Genetic and evolutionary computation
Simulated annealing applied to test generation: landscape characterization and stopping criteria

Empirical Software Engineering
Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques

Empirical Software Engineering
The Current State and Future of Search Based Software Engineering

FOSE '07 2007 Future of Software Engineering
A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation

Proceedings of the 2007 international symposium on Software testing and analysis
Automatic mutation test input data generation via ant colony

Proceedings of the 9th annual conference on Genetic and evolutionary computation
A multi-objective approach to search-based test data generation

Proceedings of the 9th annual conference on Genetic and evolutionary computation
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms

Journal of Systems and Software
A search-based framework for automatic testing of MATLAB/Simulink models

Journal of Systems and Software
Generating Java unit tests with AI planning

Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
Automatic test data generation using particle systems

Proceedings of the 2008 ACM symposium on Applied computing
Fitness calculation approach for the switch-case construct in evolutionary testing

Proceedings of the 10th annual conference on Genetic and evolutionary computation
Automated test data generation using a scatter search approach

Information and Software Technology
Automated test data generation for aspect-oriented programs

Proceedings of the 8th ACM international conference on Aspect-oriented software development
Empirical evaluation of a nesting testability transformation for evolutionary testing

ACM Transactions on Software Engineering and Methodology (TOSEM)
MC/DC automatic test input data generation

Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Using automated search to generate test data for matlab

Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Comparing algorithms for search-based test data generation of matlab® simulink® models

CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
A new method of test data generation for branch coverage in software testing based on EPDG and genetic algorithm

ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Predicate expression cost functions to guide evolutionary search for test data

GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
The state problem for evolutionary testing

GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Evolutionary testing of object-oriented software

Proceedings of the 2010 ACM Symposium on Applied Computing
Testability transformation: program transformation to improve testability

Formal methods and testing
Program-operators to improve test data generation search

WSEAS Transactions on Computers
Self-testability in unit testing

COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting

Journal of Automated Reasoning
FlagRemover: A testability transformation for transforming loop-assigned flags

ACM Transactions on Software Engineering and Methodology (TOSEM)
A multiple-population genetic algorithm for branch coverage test data generation

Software Quality Control
An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

Information and Software Technology
Divide-by-zero exception raising via branch coverage

SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Test case automatic generation research based on AADL behavior annex

AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
Generating test cases for constraint automata by genetic symbiosis algorithm

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Search based software engineering

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Test data regeneration: generating new test data from existing test data

Software Testing, Verification & Reliability
Survey: A survey on search-based software design

Computer Science Review
Evolutionary search-based test generation for software product line feature models

CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Automated test data generation for branch testing using genetic algorithm: An improved approach using branch ordering, memory and elitism

Journal of Systems and Software
Heuristic search-based approach for automated test data generation: a survey

International Journal of Bio-Inspired Computation
Co-evolutionary automatic programming for software development

Information Sciences: an International Journal
Diversity oriented test data generation using metaheuristic search techniques

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the major costs in a software project is the construction of test-data. This paper outlines a generalised test-case data generation framework based on optimisation techniques. The framework can incorporate a number of testing criteria, for both functional and non-functional properties. Application of the optimisation framework to testing specification failures and exception conditions is illustrated. The results of a number of small case studies are presented and show the efficiency and effectiveness of this dynamic optimisation-base approach to generating test-data.