Microbat Tutorial

Microbat is a trace-travelling 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, we briefly introduce a tutorial for the tool.