Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024（2024）
Key words
AI-based Systems,LLM-based Testing,automata-learning,model-based testing
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined