Constraint-based fitness function for search-based software testing

DOI10.1007/978-3-642-38171-3_29MaRDI QIDQ4922928zbMATH OpenOpenAlexFDO

Authors Abdelilah Sakti, Yann-Gaël Guéhéneuc, Gilles Pesant

Publication date 4 June 2013

Published in Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38171-3_29

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
• scientific article; zbMATH DE number 2040796
• Towards a framework for constraint-based test case generation
• scientific article; zbMATH DE number 5997244
• Theoretical Analysis of Local Search in Software Testing

Cited in

(10)

• A tabu search algorithm for structural software testing
• Theoretical Analysis of Local Search in Software Testing
• scientific article; zbMATH DE number 2040794 (Why is no real title available?)
• scientific article; zbMATH DE number 2040796 (Why is no real title available?)
• scientific article; zbMATH DE number 1738681 (Why is no real title available?)
• Stochastic Algorithms: Foundations and Applications
• Parallel program analysis via range splitting
• Generation of algebraic data type values using evolutionary algorithms
• Genetic programming + proof search = automatic improvement
• Design and analysis of different alternating variable searches for search-based software testing

Describes a project that uses

Uses Software

• CPBPV
• OPT4J

This page was built for publication: Constraint-based fitness function for search-based software testing

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