Wit-HW generates witness test cases via mutation and uses spectrum-based comparison of passing and failing traces to rank buggy statements, reporting 49%, 73%, and 88% localization at Top-1, Top-5, and Top-10 across 41 bugs.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AR 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation
Wit-HW generates witness test cases via mutation and uses spectrum-based comparison of passing and failing traces to rank buggy statements, reporting 49%, 73%, and 88% localization at Top-1, Top-5, and Top-10 across 41 bugs.