Using a constraint satisfaction formulation and solution techniques for random test program generation.
Eyal BinRoy EmekGil ShurekAvi ZivPublished in: IBM Syst. J. (2002)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint problems
- heuristic search
- constraint programming
- relaxation labeling
- phase transition
- constraint propagation
- constraint relaxation
- test cases
- combinatorial problems
- optimal solution
- constraint solver
- product configuration
- constraint solving
- soft constraints
- probabilistic reasoning
- sat solvers
- constraint networks
- arc consistency
- constrained problems
- learning algorithm
- robust fault detection
- russian doll search