Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change.

Lenhart K. Schubert

Published in: J. Log. Comput. (1994)

Keyphrases

test suite
test cases
strictly convex
test suite reduction
causal reasoning
regression testing
database
machine learning
database systems
source code
qualitative reasoning
concurrent actions