Weikai Miao -

Not registered as user

Name:Weikai Miao

Contributions

2026

ESEC/FSE

Author of Understanding, Detecting, and Repairing Real-World In-Context-Learning-Based Text-to-SQL Errors within the Research Papers-track

ICSE

Author of ADARULE: LLM-Driven Natural Language to LTL Conversion via Pattern-Adaptive Rule Induction within the Research Track-track

2023

ESEC/FSE

Author of LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems within the Industry Papers-track

2020

ESEC/FSE

Author of FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain within the Industry Papers-track

2019

ASE

Author of Prema: A Tool for Precise Requirements Editing, Modeling and Analysis within the Demonstrations-track

2018

ICSE

Author of SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry within the SEIP - Software Engineering in Practice-track