Roland Dobai, Marcel Baláz. SAT-Based Generation of Compressed Skewed-Load Tests for Transition Delay Faults. In 14th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2011, August 31 - September 2, 2011, Oulu, Finland. pages 191-196, IEEE, 2011. [doi]
@inproceedings{DobaiB11,
title = {SAT-Based Generation of Compressed Skewed-Load Tests for Transition Delay Faults},
author = {Roland Dobai and Marcel Baláz},
year = {2011},
doi = {10.1109/DSD.2011.28},
url = {http://doi.ieeecomputersociety.org/10.1109/DSD.2011.28},
researchr = {https://researchr.org/publication/DobaiB11},
cites = {0},
citedby = {0},
pages = {191-196},
booktitle = {14th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2011, August 31 - September 2, 2011, Oulu, Finland},
publisher = {IEEE},
isbn = {978-1-4577-1048-3},
}