MintHint is a novel approach to the problem of automated program repair. It generates repair hints to assist the programmer, as opposed to generating a complete repaired program. MintHint, in its current form, assumes that faults in the program are due to an infection in the program state induced by the RHS of a single assignment statement. An assignment statement could be viewed as a state transformer that transforms the incoming program state to another state where only the LHS variable gets updated. In the case of a faulty RHS in the assignment statement, the LHS variable gets an incorrect value and thus the state transformer is faulty. MintHint first tries to generate the correct state transformer for the assignment statement and then finds the correct RHS expression that would generate this state transformer.To generate repair hints, MintHint operates in four steps:
This work is partially funded by Robert Bosch Centre for Cyber Physical Systems, Indian Institute of Science and by NSF awards CCF-1320783, CCF-1161821, and CCF-0964647 to Georgia Tech.