Enhancing Automated Program Repair with Deductive Verification

Xuan-Bach Le, Quang Loc Le, David Lo, Claire Le Goues

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    95 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Enhancing Automated Program Repair with Deductive Verification'. Together they form a unique fingerprint.

    Engineering & Materials Science