1 citations · 2 across the 6 of their papers we have counts for
4 papers · 1 filter
Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification
Yiannis Charalambous, Rafael Menezes, Youcheng Sun +1
Software evolves continuously, yet ensuring that a patch preserves intended behavior without re-verifying an entire codebase remains difficult. Regression verification addresses th…
ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
Taohong Zhu, Lucas C. Cordeiro, Youcheng Sun
Software Requirements Specification (SRS) is one of the most important documents in software projects, but writing it manually is time-consuming and often leads to ambiguity. Exist…
SAFLITE: Fuzzing Autonomous Systems via Large Language Models
Taohong Zhu, Adrians Skapars, Fardeen Mackenzie +4
Fuzz testing effectively uncovers software vulnerabilities; however, it faces challenges with Autonomous Systems (AS) due to their vast search spaces and complex state spaces, whic…
ESBMC-Python: A Bounded Model Checker for Python Programs
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho +2
This paper introduces a tool for verifying Python programs, which, using type annotation and front-end processing, can harness the capabilities of a bounded model-checking (BMC) pi…