Publication:2767075
From MaRDI portal
zbMath0983.68583MaRDI QIDQ2767075
Michel Rueher, Arnaud Gotlieb, Bernard Botella
Publication date: 28 January 2002
Computing methodologies and applications (68U99) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Correct approximation of IEEE 754 floating-point arithmetic for program verification, Automated debugging based on a constraint model of the program and a test case, Sharpening constraint programming approaches for bit-vector theory, Test Data Generation of Bytecode by CLP Partial Evaluation