SolverCheck: Declarative Testing of Constraints.
Xavier GillardPierre SchausYves DevillePublished in: CP (2019)
Keyphrases
- linear constraints
- domain independent
- artificial intelligence
- real time
- knowledge representation
- resource constraints
- test data
- test cases
- high level
- learning environment
- search space
- clustering algorithm
- information systems
- learning algorithm
- constraint satisfaction
- constraint programming
- global constraints
- genetic algorithm
- software testing
- data sets