Book
Open access
Jul 2026
LLM-based Specification-Driven Test Oracle Enhancement
JavaOracle is proposed, a specification-driven approach that leverages large language models to reason over specifications and systematically enhance test oracles and further automates test case minimization and bug report generation, producing submission-ready reports without manual effort.
Ruifeng Fu, Yingquan Zhao, Meng Wang et al.
· SIGSOFT FSE Companion · 0 citations