Employing Test Suites for Verilog Fault Localization | Publicación