Home

Microbat: A Feedback-Based Debugger

Microbat is a feedback-based debugger, which incorporates developers' feedback as partial program specification to recommend a suspicious step in the buggy program execution. In this wiki page, I am going to maintain some important notes for building and using this tool.

Basic Concepts

Data and Control Dominance

Runtime Variable

Recommendation Stategy

Evaluation

If you find some passed test case is reported as failed test case in eclipse, you can reset the build path of the project. For now, such phenomenon is highly likely cause by failure to find the corresponding test class.