Shen Zhang, Ryan Karl, Yash Hindka, John Robert. Accelerating Verification and Software Standards Testing (AVASST) with Large Language Models (LLMs). In Tung X. Bui, editor, 58th Hawaii International Conference on System Sciences, HICSS 2025, Hilton Waikoloa Village, Hawaii, USA, January 7-10, 2025. pages 1-10, ScholarSpace, 2025. [doi]
Abstract is missing.