Stephan Eggersglüß, Rolf Drechsler. An effective fault ordering heuristic for SAT-based dynamic test compaction techniques. it - Information Technology, 56(4):157-164, 2014. [doi]
@article{EggersglussD14,
title = {An effective fault ordering heuristic for SAT-based dynamic test compaction techniques},
author = {Stephan Eggersglüß and Rolf Drechsler},
year = {2014},
doi = {10.1515/itit-2013-1041},
url = {http://dx.doi.org/10.1515/itit-2013-1041},
researchr = {https://researchr.org/publication/EggersglussD14},
cites = {0},
citedby = {0},
journal = {it - Information Technology},
volume = {56},
number = {4},
pages = {157-164},
}