Haiying Sun

Associate Professor, Software Engineering Institute, East China Normal University

Joined

January 2026

Names

Haiying Sun (Preferred)

Emails

****@sei.ecnu.edu.cn (Confirmed)

Personal Links

Homepage

DBLP

Career & Education History

Associate Professor

Software Engineering Institute, East China Normal University (ecnu.edu.cn)

2022 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Automated detection of atomicity violations in large-scale systems
Hang He, Yixing Luo, Chengcheng Wan, Ting Su, Haiying Sun, Geguang Pu
- CoRR 2025
- Readers: Everyone
IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving
Qichang Wang, Chuyang Chen, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu
- ICSE Companion 2025
- Readers: Everyone
BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering
Jiayi Jiang, Xiyuan Zhang, Chengcheng Wan, Haoyi Chen, Haiying Sun, Ting Su
- CCS 2024
- Readers: Everyone
Enhancing the Formal Verification of Train Control Systems based on Decomposition
Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun
- COMPSAC 2023
- Readers: Everyone
Understanding the Reproducibility Issues of Monkey for GUI Testing
Huiyu Liu, Qichao Kong, Jue Wang, Ting Su, Haiying Sun
- SETTA 2023
- Readers: Everyone
Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems
Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang
- QRS 2022
- Readers: Everyone
Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language
Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang
- QRS 2022
- Readers: Everyone
MC/DC Test Case Automatic Generation for Safety-Critical Systems
Cong Wang, Haiying Sun, Hui Dou, HongTao Chen, Jing Liu
- QRS 2022
- Readers: Everyone
Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices
Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun
- Published: 01 Jan 2022, Last Modified: 12 May 2023
- Comput. J. 2022
- Readers: Everyone

Co-Authors

View all 28 co-authors