A CLP framework for computing structural test data

DOI10.1007/3-540-44957-4_27MaRDI QIDQ2767075zbMATH OpenFDO

Authors Arnaud Gotlieb, Bernard Botella, Michel Rueher

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44957-4_27

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computing methodologies and applications (68U99)

Recommendations

• Efficient generation of test data structures using constraint logic programming and program transformation
• Towards a framework for constraint-based test case generation
• scientific article; zbMATH DE number 4157865
• Test Data Generation of Bytecode by CLP Partial Evaluation
• Towards testing concurrent objects in CLP

Cited in

(5)

• Sharpening constraint programming approaches for bit-vector theory
• Correct approximation of IEEE 754 floating-point arithmetic for program verification
• Efficient generation of test data structures using constraint logic programming and program transformation
• Test Data Generation of Bytecode by CLP Partial Evaluation
• Automated debugging based on a constraint model of the program and a test case

This page was built for publication: A CLP framework for computing structural test data

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