Metamorphic Testing of Constraint Solvers.

Özgür Akgün Ian P. Gent Christopher Jefferson Ian Miguel Peter Nightingale

Published in: CP (2018)

Keyphrases

constraint solvers
constraint solving
constraint programming
constraint satisfaction problems
test cases
constraint solver
combinatorial problems
constraint propagation
solving problems
test suite
relational databases