Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Weikai Miao
conf.researchr.org general profile
* ICSE 2018 * profile
ASE 2019 profile
ESEC/FSE 2020 profile
ESEC/FSE 2023 profile
Not registered as user
Name:
Weikai Miao
Contributions
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
Share
x
Sat 21 Dec 18:09