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:
MintHint PrototypeA prototype implementation of MintHint is available for use:
Publications1. Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade and Alessandro Orso People
Acknowledgements 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. |