3 papers
cs.SE2026
PROGRESS: Property-Guided Regression Search for Semantic Falsification
Davis Tocheuk Mo, Noshin Ulfat, Matthew B. Dwyer +1
Search-based regression-test generation effectively explores complex program structures, yielding high structural coverage, but its oracles are derived from the system under test:…
cs.SE2026
Measuring LLM Trust Allocation Across Conflicting Software Artifacts
Noshin Ulfat, Ahsanul Ameen Sabit, Soneya Binta Hossain
LLM-based software engineering assistants often reason over multiple artifacts, including code, documentation, signatures, and tests, even when those artifacts are incomplete or mu…
cs.SE2023
Using Large Language Models to Generate JUnit Tests: An Empirical Study
Mohammed Latif Siddiq, Joanna C. S. Santos, Ridwanul Hasan Tanvir +3
A code generation model generates code by taking a prompt from a code comment, existing code, or a combination of both. Although code generation models (e.g., GitHub Copilot) are i…