Dakai Zhu

1. Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
   2023/11/13 by Xi Zheng, Aloysius K. Mok, Zheng, Xi +13 · 1 citation
   Engineering · Computer Science · #Safety Systems Engineering in Autonomy #Adversarial Robustness in Machine Learning #Software Reliability and Analysis Research
2. Validating LLM-Generated Programs with Metamorphic Prompt Testing
   2024/06/11 by Xiaoyin Wang, Dakai Zhu, Wang, Xiaoyin +1 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Testing and Debugging Techniques