From the 1 of 7 linked papers with an AI index.
7 papers
Software Supply Chains are Dead: Use-Case-Oriented Regeneration
Tanmay Singla, James C. Davis
The paper proposes a use‑case‑oriented regeneration approach that uses generative AI to synthesize only the needed functionality of a dependency, reducing reliance on external soft…
Cheap Code, Costly Judgment: A Case Study on Governable Agentic Software Engineering
James C. Davis, Paschal C. Amusuo, Tanmay Singla +2
Generative AI is shifting software engineering from a practice organized around scarce implementation effort toward one organized around abundant, low-cost code production. This sh…
Towards a Benchmark for Dependency Decision-Making
Tanmay Singla, Berk Ãakar, Paschal C. Amusuo +1
AI coding agents increasingly modify real software repositories and make dependency decisions, including adding, removing, or updating third-party packages. These choices can mater…
FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI
Paschal C. Amusuo, Dongge Liu, Ricardo Andres Calvo Mendez +3
Fuzz testing has become a cornerstone technique for identifying software bugs and security vulnerabilities, with broad adoption in both industry and open-source communities. Direct…
A Unit Proofing Framework for Code-level Verification: A Research Agenda
Paschal C. Amusuo, Parth V. Patil, Owen Cochell +2
Formal verification provides mathematical guarantees that a software is correct. Design-level verification tools ensure software specifications are correct, but they do not expose…
Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
Paschal C. Amusuo, Owen Cochell, Taylor Le Lievre +3
Memory safety defects pose a major threat to software reliability, enabling cyberattacks, outages, and crashes. To mitigate these risks, organizations adopt Compositional Bounded M…