Marc Boule, Jean-Samuel Chenard, Zeljko Zilic. Debug enhancements in assertion-checker generation. IET Computers & Digital Techniques, 1(6):669-677, 2007. [doi]
@article{BouleCZ07-0,
title = {Debug enhancements in assertion-checker generation},
author = {Marc Boule and Jean-Samuel Chenard and Zeljko Zilic},
year = {2007},
doi = {10.1049/iet-cdt:20060209},
url = {http://dx.doi.org/10.1049/iet-cdt:20060209},
tags = {debugging},
researchr = {https://researchr.org/publication/BouleCZ07-0},
cites = {0},
citedby = {0},
journal = {IET Computers & Digital Techniques},
volume = {1},
number = {6},
pages = {669-677},
}