SAT-based fault coverage evaluation in the presence of unknown values.

Michael A. Kochte Hans-Joachim Wunderlich

Published in: DATE (2011)

Keyphrases

website
database
search algorithm
orders of magnitude
attribute values
user defined
standard deviation
evaluation measures
evaluation metrics
evaluation methods