Payman Behnam, Hossein Sabaghian Bidgoli, Bijan Alizadeh, Kamyar Mohajerani, Zainalabedin Navabi. A probabilistic approach for counterexample generation to aid design debugging. In East-West Design & Test Symposium, EWDTS 2013, Rostov-on-Don, Russia, September 27-30, 2013. pages 1-5, IEEE, 2013. [doi]
@inproceedings{BehnamBAMN13,
title = {A probabilistic approach for counterexample generation to aid design debugging},
author = {Payman Behnam and Hossein Sabaghian Bidgoli and Bijan Alizadeh and Kamyar Mohajerani and Zainalabedin Navabi},
year = {2013},
doi = {10.1109/EWDTS.2013.6673083},
url = {http://dx.doi.org/10.1109/EWDTS.2013.6673083},
researchr = {https://researchr.org/publication/BehnamBAMN13},
cites = {0},
citedby = {0},
pages = {1-5},
booktitle = {East-West Design & Test Symposium, EWDTS 2013, Rostov-on-Don, Russia, September 27-30, 2013},
publisher = {IEEE},
}