Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
QCSP made practical by virtue of restricted quantification
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Fault-model-based test generation for embedded software
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Formal verification of diagnosability via symbolic model checking
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
sKizzo: a suite to evaluate and certify QBFs
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hi-index | 0.00 |
Testing is the process of stimulating a system with inputs in order to reveal hidden parts of the system state. We consider a variant of the constraint-based testing problem that was put forward in the model-based diagnosis literature, and consists of finding input patterns that can discriminate between different, possibly non-deterministic models. We show that this problem can be framed as a game played between two opponents, and naturally lends itself towards a formulation in terms of quantified CSPs. This QCSP-based formulation is a starting point to extend testing to the practically relevant class of systems with limited controllability, where tests consist of stimulation strategiesinstead of simple input patterns.