Debugging Constraint Programs by Store Inspection.

Frédéric Goualard Frédéric Benhamou

Published in: Analysis and Visualization Tools for Constraint Programming (2000)

Keyphrases

java programs
hardware designs
novice programmers
automatic programming
program slicing
visual inspection
programs written
genetic algorithm
quality control
constraint solving
databases
global constraints
computer programs
penalty function
execution traces