Assured Offline LLMSE: Assured Offline LLM-Based Software Engineering—embedding LLMs in a workflow that filters outputs to provide verifiable guarantees (e.g., code compiles, tests pass) before human review
Flaky tests: Tests that exhibit non-deterministic behavior, passing and failing on the same code without changes
Diff: A set of changes to the codebase submitted for review (short for differential)
Hallucination: When an LLM generates code that looks syntactically correct but references non-existent variables, methods, or logic
Corner cases: Input scenarios that occur outside normal operating parameters (e.g., null values, empty lists)
Test-a-thon: A focused event where engineers dedicate time specifically to writing and improving tests
Regression testing: Re-running tests to ensure that recent code changes have not broken existing functionality
Test oracle: A mechanism for determining whether the output of a program is correct for a given input
Retrieval Augmented Generation: Providing relevant context (like the class under test) in the prompt to help the LLM generate better code