Using implications to choose tests through suspect fault identification

Jennifer Dworak, Kundan Nepal, Nuno Alves, Yiwen Shi, Nicholas Imbriglia, R. Iris Bahar. Using implications to choose tests through suspect fault identification. ACM Trans. Design Autom. Electr. Syst., 18(1):14, 2012. [doi]

Abstract

Abstract is missing.