Bernhard Peischl, Naveed Riaz, Franz Wotawa. Employing Test Suites for Verilog Fault Localization. In Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca, editors, Current Topics in Artificial Intelligence, 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers. Volume 5988 of Lecture Notes in Computer Science, pages 1-10, Springer, 2009. [doi]
Abstract is missing.