Benutzer: Gast  Login
Titel:

Using Model Counting to Find Optimal Distinguishing Tests

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Stefan Heinz, Martin Sachenbacher
Abstract:
Testing is the process of stimulating a system with inputs in order to reveal hidden parts of the system state. In the case of non- deterministic systems, the difficulty arises that an input pattern can generate several possible outcomes. Some of these outcomes allow to distinguish between different hypotheses about the system state, while others do not. In this paper, we present a novel approach to find, for non-deterministic systems modeled as constraints over variables, tests that allow to d...     »
Kongresstitel:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference (CPAIOR-2009)
Kongress / Zusatzinformationen:
Pittsburgh, PA, USA, May 27-31
Zeitschriftentitel:
Lecture Notes in Computer Science
Jahr:
2009
Band / Volume:
5547
Seitenangaben Beitrag:
117-131
Sprache:
en
Verlag / Institution:
Springer
Print-ISSN:
978-3-642-01928-9
Format:
Text
 BibTeX