Fault model qualification by assertion mining

Alessandro Danese, Jacopo Mocci, Graziano Pravadelli. Fault model qualification by assertion mining. In 17th Latin-American Test Symposium, LATS 2016, Foz do Iguacu, Brazil, April 6-8, 2016. pages 45-50, IEEE, 2016. [doi]

Abstract

Abstract is missing.