2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2024
Validating LLM-Generated Programs with Metamorphic Prompt Testing
Xiaoyin Wang, Dakai Zhu
The latest paradigm shift in software development brings in the innovation and automation afforded by Large Language Models (LLMs), showcased by Generative Pre-trained Transformer…
cs.SE2023★ 2 cited
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
Xi Zheng, Aloysius K. Mok, Ruzica Piskac +5
The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsive…