2 papers
cs.SE2026
A Study of the Reliability of Agentic AI-Generated Programs
Ayesha Shafique, Barton P. MIller, Elisa R. Heymann
Agentic-AI based software development offers the promise of faster completion of the software, greater programmer efficiency, and more reliable code. The question is how can we ver…
physics.ins-det2024
Differential fuzz testing to detect tampering in sensor systems and its application to arms control authentication
Jayson R Vavrek, Luozhong Zhou, Joshua Boverhof +3
In future nuclear arms control treaties, it will be necessary to authenticate the hardware and software components of verification measurement systems, i.e., to ensure these system…