User: Guest  Login
More Searchfields
Simple search
Title:

Using Model Counting to Find Optimal Distinguishing Tests

Document type:
Zeitschriftenaufsatz
Author(s):
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...     »
Congress title:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference (CPAIOR-2009)
Congress / additional information:
Pittsburgh, PA, USA, May 27-31
Journal title:
Lecture Notes in Computer Science
Year:
2009
Journal volume:
5547
Pages contribution:
117-131
Language:
en
Publisher:
Springer
Print-ISSN:
978-3-642-01928-9
Format:
Text
 BibTeX