Evaluating Test Suite Effectiveness and Assessing Student Code via Constraint Logic Programming.
Kyle DeweyPhillip T. ConradMichelle CraigElena MorozovaPublished in: ITiCSE (2017)
Keyphrases
- constraint logic programming
- test suite
- mutation testing
- constraint solving
- test cases
- answer set programming
- regression testing
- logic programming language
- logic programming
- static analysis
- learning environment
- source code
- constraint programming
- temporal reasoning
- test suite reduction
- test generation
- software testing
- constraint propagation
- visual features
- state space