1 citations · 1 across the 3 of their papers we have counts for
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★ 1 cited
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…