Lisa: LLM-Based Invariant Testing for Software Functional Bugs
Abstract
Source code and artifacts for Lisa. See README.md inside for details.
Fields of Study & Subjects
Software Testing and Debugging Techniques
Software Engineering Research
Formal Methods in Verification
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 29 January 2026