@inproceedings{DBLP:conf/itc/FujitaM14,
author = {Masahiro Fujita and
Alan Mishchenko},
title = {Efficient SAT-based {ATPG} techniques for all multiple stuck-at faults},
booktitle = {2014 International Test Conference, {ITC} 2014, Seattle, WA, USA,
October 20-23, 2014},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TEST.2014.7035351},
doi = {10.1109/TEST.2014.7035351},
timestamp = {Thu, 23 Mar 2023 23:58:37 +0100},
biburl = {https://dblp.org/rec/conf/itc/FujitaM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
