Michael A. Kochte, Hans-Joachim Wunderlich
SAT-based fault coverage evaluation in the presence of unknown values
DATE, 2011.
@inproceedings{DATE-2011-KochteW,
author = "Michael A. Kochte and Hans-Joachim Wunderlich",
booktitle = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-61284-208-0",
pages = "1303--1308",
publisher = "{IEEE}",
title = "{SAT-based fault coverage evaluation in the presence of unknown values}",
year = 2011,
}