Dakai Zhu -

Registered user since Thu 18 Apr 2024

Name:Dakai Zhu

Affiliation:The University of Texas at San Antonio

Contributions

2026

ICSE

Author of Automatic Validation of LLM-Generated Code with Prompt Paraphrasing within the New Ideas and Emerging Results (NIER)-track

2024

ESEC/FSE

Author of Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach within the Ideas, Visions and Reflections-track