Hanyue Zheng

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

User Requirements

Control Software

Knowledge Elicitation

Top Venues

ESEC/SIGSOFT FSE

Publications

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. CoRR (2023)
Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu
Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. TASE (2021)
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE (2020)
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. CoRR (2019)
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. ASE (2019)
Weikai Miao, Qianqian Yan, Yihao Huang, Jincao Feng, Hanyue Zheng
A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software. APSEC (2019)