Unit Testing for Qualitative Spatial and Temporal Reasoning.
Carl P. L. SchultzRobert AmorHans W. GuesgenPublished in: FLAIRS Conference (2009)
Keyphrases
- qualitative spatial and temporal reasoning
- unit testing
- test cases
- software testing
- answer set programming
- constraint satisfaction problems
- constraint networks
- integration testing
- tool suite
- black box
- interval algebra
- point algebra
- logic programming
- test set
- temporal reasoning
- constraint programming
- software development
- constraint propagation
- back end
- databases
- constraint satisfaction
- logic programs
- software engineering
- database systems