… exclusively at the removal of type errors and disregarded the resulting types, guided type …
tools, our guided type debugger is the first approach that can find errors in type annotations. In …

… We implemented a prototype type explanation and debugging tool to explore our ideas. The
… to our type system to guide and reduce the number of questions in algorithmic debugging. …

… in detail what type information is there in debugging information. At a high level, types of
source-… As we have shown, debugging information tells the types of some storage locations at …

… how to debug more effectively. It is a complete and pragmatic overview of debugging, written
… We introduce delta debugging, an automated debugging method that simplifies test cases …

… Our debugging tool has been implemented for all of ANSI C. It has two major components:
a compiler front-end that instruments the program, and a run-time system that tracks the …

We present a theory of debugging applicable for planning and interpretation problems. The
debugger analyzes causal explanations for why a bug arises to locate the underlying …

… makes the debugging process tedious and ineffective. We present an approach to the
problem of type debugging that is based on generating and filtering a comprehensive set of type-…

This paper presents a method for semi-automatic bug localization, generalized algorithmic
debugging, which has been integrated with the category partition method for functional testing…

… employing guided generation techniques. Our method enhances the LLM’s ability to debug
Verilog … and streamlining the debugging process through effective information retrieval and …

… This paper has introduced coverage-guided fuzzing for neural networks and described how
to build a useful coverage checker in this context. We have demonstrated the practical utility …