scientific article; zbMATH DE number 1696810

MaRDI QIDQ2767075zbMATH OpenFDO

Authors Arnaud Gotlieb, Bernard Botella, Michel Rueher

Publication date 28 January 2002

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:

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