Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment.
Morten MossigeArnaud GotliebHein MelingPublished in: ICST (2013)
Keyphrases
- constraint programming
- test generation
- constraint satisfaction problems
- global constraints
- constraint optimization
- constraint satisfaction
- combinatorial problems
- constraint propagation
- finite domain
- search strategies
- itemset mining
- constraint solving
- machine learning
- model checking
- complex systems
- special case
- pattern matching
- computational complexity