1 citations · 2 across the 6 of their papers we have counts for
6 papers
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…
GPT, But Backwards: Exactly Inverting Language Model Outputs
Adrians Skapars, Edoardo Manino, Youcheng Sun +1
Recent work shows that distinct inputs produce distinct hidden representations in LLMs, so the input can in principle be recovered from them. Yet, no existing method can reliably d…
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…
Was it Slander? Towards Exact Inversion of Generative Language Models
Adrians Skapars, Edoardo Manino, Youcheng Sun +1
Training large language models (LLMs) requires a substantial investment of time and money. To get a good return on investment, the developers spend considerable effort ensuring tha…
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…