Design and analysis of different alternating variable searches for search-based software testing

DOI10.1016/J.TCS.2014.12.009MaRDI QIDQ888422zbMATH OpenOpenAlexFDO

Authors Joseph Kempka, Phil McMinn, Dirk Sudholt

Publication date 30 October 2015

Published in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.tcs.2014.12.009

zbMATH Keywords

local searchruntime analysistest data generationsearch-based software engineering

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Constraint-based fitness function for search-based software testing
• scientific article; zbMATH DE number 1951185
• scientific article; zbMATH DE number 5997244
• Theoretical Analysis of Local Search in Software Testing
• Communication mechanism designed for distributed intrusion detection system

Cites work

• scientific article; zbMATH DE number 5686753 (Why is no real title available?)
• Analyzing evolutionary algorithms. The computer science perspective.
• Bioinspired computation in combinatorial optimization. Algorithms and their computational complexity
• Crossover can be constructive when computing unique input-output sequences
• Fibonaccian searching
• Introduction to Software Testing
• Memetic evolutionary algorithms
• Numerical methods of statistics.
• Precision, local search and unimodal functions
• Runtime analysis of the (1+1) EA on computing unique input output sequences
• Sequential Minimax Search for a Maximum
• Tight bounds for blind search on the integers and the reals

Cited in

(7)

• Communication mechanism designed for distributed intrusion detection system
• Theoretical Analysis of Local Search in Software Testing
• Constraint-based fitness function for search-based software testing
• scientific article; zbMATH DE number 1951185 (Why is no real title available?)
• Scatter search in software testing, comparison and collaboration with estimation of distribution algorithms
• A tabu search algorithm for structural software testing
• How to use automatic tests efficiently in software testing

Describes a project that uses

Uses Software

• IGUANA

This page was built for publication: Design and analysis of different alternating variable searches for search-based software testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q888422)