An observability measure to enhance statement coverage metric for proper evaluation of verification completeness.
Tai-Ying JiangChien-Nan Jimmy LiuJing-Yang JouPublished in: ASP-DAC (2005)
Keyphrases
- distance measure
- evaluation measures
- evaluation metrics
- information content
- quality assessment
- quality metrics
- neural network
- information redundancy
- evaluation method
- evaluation criteria
- evaluation methods
- information theoretic measures
- confidence measure
- evaluation process
- decision model
- gold standard
- data quality
- information theoretic
- mutual information
- similarity measure