A Framework for Guided Test Case Generation in Constraint Logic Programming

DOI10.1007/978-3-642-38197-3_12zbMath1394.68056OpenAlexW7243339MaRDI QIDQ2848906

José Miguel Rojas, Miguel Gómez-Zamalloa

Publication date: 13 September 2013

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

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

zbMATH Keywords

software testingconstraint logic programmingsymbolic executionguided test case generationtrace-abstraction

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• jPET
• net.datastructures

This page was built for publication: A Framework for Guided Test Case Generation in Constraint Logic Programming