User Feedback - llmhyy/microbat GitHub Wiki
Microbat supports four types of feedbacks on steps: wrong-variable-value (i.e., need for data slicing), wrong-path (i.e., need for control slicing), correct, and unknown. Please check our ICSE'17 paper (Section III.B) for more details.
Microbat can learn and estimate user feedbacks when programmers are debugging.