Theoretical Analysis of Local Search in Software Testing

DOI10.1007/978-3-642-04944-6_13MaRDI QIDQ3646126zbMATH OpenOpenAlexFDO

Authors Andrea Arcuri

Publication date 19 November 2009

Published in Stochastic Algorithms: Foundations and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04944-6_13

Mathematics Subject Classification ID

Theory of software (68N99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Design and analysis of different alternating variable searches for search-based software testing
• Constraint-based fitness function for search-based software testing
• scientific article; zbMATH DE number 2040802
• Mathematical Foundations of Computer Science 2003
• Principles of Stochastic Local Search

Cites work

• A study of drift analysis for estimating computation time of evolutionary algorithms
• Introduction to algorithms
• On the analysis of the \((1+1)\) evolutionary algorithm
• On the Brittleness of Evolutionary Algorithms
• Upper and lower bounds for randomized search heuristics in black-box optimization

Cited in

(8)

• A tabu search algorithm for structural software testing
• Scatter search in software testing, comparison and collaboration with estimation of distribution algorithms
• Exploiting binary floating-point representations for constraint propagation
• scientific article; zbMATH DE number 2040802 (Why is no real title available?)
• scientific article; zbMATH DE number 1738681 (Why is no real title available?)
• Constraint-based fitness function for search-based software testing
• Design and analysis of different alternating variable searches for search-based software testing
• Runtime analysis of the (1+1) EA on computing unique input output sequences

Describes a project that uses

Uses Software

• R

This page was built for publication: Theoretical Analysis of Local Search in Software Testing

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