Software fault localization, the act of identifying the locations of faults in a program, is widely
recognized to be one of the most tedious, time consuming, and expensive-yet equally critical …

This paper presents techniques that enhance automatically generated hardware assertion
checkers to facilitate debugging within the assertion-based verification paradigm. Starting …

This chapter describes traditional and intuitive fault localization techniques, including
program logging, assertions, breakpoints, and profiling. Many advanced fault localization …

If a program does not fulfill a given specification, a model checker delivers a
counterexample, a run which demonstrates the wrong behavior. Even with a …

Verification of hardware design code is crucial for the quality assurance of hardware
products. As an indispensable part of verification, localizing faults in the hardware design …

Spreadsheets can be viewed as a highly flexible programming environment for end users.
Spreadsheets are widely adopted for decision making and may have a serious economical …

Knowing that a program has a bug is good, knowing its location is better, but a fix is best. We
present a method to automatically locate and correct faults in a finite state system, either at …

This article presents CirFix, a framework for automatically repairing defects in hardware
designs implemented in languages like Verilog. We propose a novel fault localization …

Hardware description languages (HDLs) are pivotal for the development of hardware
designs. The programming courses for HDLs are also popular in both universities and …

Abstract In Model-Based Diagnosis (MBD), we concern ourselves with the health and safety
of physical and software systems. Although we often use different knowledge …