Uwe Gläser, Heinrich Theodor Vierhaus. FOGBUSTER: an efficient algorithm for sequential test generation. In Proceedings EURO-DAC 95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995. pages 230-235, IEEE Computer Society, 1995. [doi]
@inproceedings{GlasserV95,
title = {FOGBUSTER: an efficient algorithm for sequential test generation},
author = {Uwe Gläser and Heinrich Theodor Vierhaus},
year = {1995},
doi = {10.1145/224270.224324},
url = {http://doi.acm.org/10.1145/224270.224324},
tags = {testing},
researchr = {https://researchr.org/publication/GlasserV95},
cites = {0},
citedby = {0},
pages = {230-235},
booktitle = {Proceedings EURO-DAC 95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995},
publisher = {IEEE Computer Society},
isbn = {0-8186-7156-4},
}