2 papers
cs.SE2024
Assured Automatic Programming via Large Language Models
Martin Mirchev, Andreea Costea, Abhishek Kr Singh +1
With the advent of AI-based coding engines, it is possible to convert natural language requirements to executable code in standard programming languages. However, AI-generated code…
cs.SE2023
Patch Space Exploration using Static Analysis Feedback
Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen +2
Automated Program Repair (APR) techniques typically rely on a given test-suite to guide the repair process. Apart from the need to provide test oracles, this makes the produced pat…