Sergey A. Smolov Jorge López Natalia Kushik Nina Yevtushenko 0001 Mikhail M. Chupilko Alexander S. Kamkin Testing logic circuits at different abstraction levels: An experimental evaluation. 1-4 2016 EWDTS https://doi.org/10.1109/EWDTS.2016.7807687 https://doi.ieeecomputersociety.org/10.1109/EWDTS.2016.7807687 conf/ewdts/2016 db/conf/ewdts/ewdts2016.html#SmolovLKYCK16