Automated Control Logic Test Case Generation using Large Language Models. - Heiko Koziolek; Virendra Ashiwal; Soumyadip Bandyopadhyay; Chandrika K. R (ETFA, 2024)