Stefan Hillebrecht, Michael A. Kochte, Dominik Erb, Hans-Joachim Wunderlich, Bernd Becker
Accurate QBF-based test pattern generation in presence of unknown values
DATE, 2013.
@inproceedings{DATE-2013-HillebrechtKEWB,
acmid = "2485393",
author = "Stefan Hillebrecht and Michael A. Kochte and Dominik Erb and Hans-Joachim Wunderlich and Bernd Becker",
booktitle = "{Proceedings of the 17th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-4503-2153-2",
pages = "436--441",
publisher = "{EDA Consortium San Jose, CA, USA / ACM DL}",
title = "{Accurate QBF-based test pattern generation in presence of unknown values}",
year = 2013,
}