LISA: LLM-Based Invariant Testing for Software Functional Bugs
Researchers introduce LISA, a framework that leverages large language models (LLMs) to generate API sequences and program invariants for detecting functional bugs in software libraries. LISA achieves higher bug-detection rates and competitive code coverage compared to traditional fuzzing and previous LLM-based test generation methods.
Why it matters: LISA offers a new approach to uncovering non-crashing functional bugs that are often missed by conventional fuzzing techniques, potentially improving software reliability.
Full story at: arXiv Software Engineering ↗