LLM-AQuA-DiVeR: LLM-Assisted Quality Assurance Through Dialogues on Verifiable Specification with Requirement Owners. - Shohei Mitani; Salonee Moona; Shin'ichiro Matsuo; Eric W. Burger (RAIE, 2025)