A CLP heap solver for test case generation

DOI10.1017/S1471068413000458zbMath1286.68065OpenAlexW2122552660MaRDI QIDQ5398307

Elvira Albert, Peter J. Stuckey, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas

Publication date: 27 February 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068413000458

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Introduction to Software Testing
• Test case generation for object-oriented imperative languages in CLP
• Symbolic execution and program testing

This page was built for publication: A CLP heap solver for test case generation