EffFix: Efficient and Effective Repair of Pointer Manipulating Programs - Zhang, Yuntong; Costea, Andreea; Shariffdeen, Ridwan; McCall, Davin; Roychoudhury, Abhik (ACM transactions on software engineering and methodology, 2025)
Keywords: Formal software verification; Logic and verification; Maintaining software; Program analysis; Security and privacy; Software and its engineering; Software testing and debugging; Theory of computation; Automated Program Repair; Probabilistic Context Free Grammars; Incorrectness Separation Logic