User: Guest  Login
Document type:
Zeitschriftenaufsatz 
Author(s):
Anika Schumann, Martin Sachenbacher, Jinbo Huang 
Title:
Constraint-Based Optimal Testing Using DNNF Graphs 
Abstract:
The goal of testing is to distinguish between a number of hypotheses about a system—for example, different diagnoses of faults— by applying input patterns and verifying or falsifying the hypotheses from the observed outputs. Optimal distinguishing tests (ODTs) are those input patterns that are most likely to distinguish between hypotheses about non-deterministic systems. Finding ODTs is practically important, but it amounts in general to determining a ratio of model counts and is therefore compu...    »
 
Congress title:
Principles and Practice of Constraint Programming, 15th International Conference (CP-2009) 
Journal title:
Lecture Notes in Computer Science 
Year:
2009 
Journal volume:
5732 
Pages contribution:
731-745 
Language:
en 
Format:
Text