3 papers
cs.SE2025
Computation Tree Logic Guided Program Repair
Yu Liu, Yahui Song, Martin Mirchev +1
Temporal logics like Computation Tree Logic (CTL) have been widely used as expressive formalisms to capture rich behavioral specifications. CTL can express properties such as reach…
cs.CR2024
Fixing Security Vulnerabilities with AI in OSS-Fuzz
Yuntong Zhang, Jiawei Wang, Dominic Berzin +5
Critical open source software systems undergo significant validation in the form of lengthy fuzz campaigns. The fuzz campaigns typically conduct a biased random search over the dom…
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…