Using Model Counting to Find Optimal Distinguishing Tests

  title={Using Model Counting to Find Optimal Distinguishing Tests},
  author={Stefan Heinz and Martin Sachenbacher},
Testing is the process of stimulating a system with inputs in order to reveal hidden parts of the system state. In the case of nondeterministic 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… CONTINUE READING

Similar Papers

Loading similar papers…