Unit Tests of Scientific Software: A Study on SWMM. - Zedong Peng; Xuanyi Lin; Nan Niu (ICCS (7), 2020)

Correct Software by Design for Software-Defined Networking: A preliminary Study. - Liang Hao; Xin Sun; Lan Lin; Zedong Peng (SEKE, 2020)

Contextual Understanding and Improvement of Metamorphic Testing in Scientific Software Development. - Zedong Peng; Upulee Kanewala; Nan Niu (ESEM, 2021)

I/O Associations in Scientific Software: A Study of SWMM. - Zedong Peng; Xuanyi Lin; Nan Niu; Omar I. Abdul-Aziz (ICCS (6), 2021)

Finding Metamorphic Relations for Scientific Software. - Xuanyi Lin; Zedong Peng; Nan Niu; Wentao Wang 003; Hui Liu 003 (ICSE (Companion Volume), 2021)

Co-AI: A Colab-Based Tool for Abstraction Identification. - Zedong Peng; Nan Niu (RE, 2021)

Environment-Driven Abstraction Identification for Requirements-Based Testing. - Zedong Peng; Prachi Rathod; Nan Niu; Tanmay Bhowmik; Hui Liu 003; Lin Shi 006; Zhi Jin (RE, 2021)

Towards Norm Classification: An Initial Analysis of HIPAA Breaches. - Vedarsh Shah; Zedong Peng; Ganesh Malla; Nan Niu (RE Workshops, 2021)

Semantic Frames for Classifying Temporal Requirements: An Exploratory Study. - Aurek Chattopadhyay; Nan Niu; Zedong Peng; Jianzhang Zhang (REFSQ Workshops, 2021)

Discovering Metamorphic Relations for Scientific Software From User Forums. - Xuanyi Lin; Michelle Simon; Zedong Peng; Nan Niu; Jeff Carver 001; Karla Morris (Comput. Sci. Eng., 2021)

Unit and regression tests of scientific software: A study on SWMM. - Zedong Peng; Xuanyi Lin; Michelle Simon; Nan Niu (J. Comput. Sci., 2021)

Learning I/O Variables from Scientific Software's User Manuals. - Zedong Peng; Xuanyi Lin; Sreelekhaa Nagamalli Santhoshkumar; Nan Niu; Upulee Kanewala (ICCS (4), 2022)

Alternative regularizations for Outer-Approximation algorithms for convex MINLP. - David E. Bernal; Zedong Peng; Jan Kronqvist; Ignacio E. Grossmann (J. Glob. Optim., 2022)

Testing software's changing features with environment-driven abstraction identification. - Zedong Peng; Prachi Rathod; Nan Niu; Tanmay Bhowmik; Hui Liu 003; Lin Shi 006; Zhi Jin (Requir. Eng., 2022)

Resource-Centric Goal Model Slicing for Detecting Feature Interactions. - Zedong Peng; Mahima Dahiya; Tessneem Khalil; Nan Niu; Tanmay Bhowmik; Yilong Yang 001 (IRI, 2023)

"What You See Is What You Test": Recommending Features from GUIs for Requirements-Based Testing. - Zedong Peng; Juha Savolainen; Jianzhang Zhang; Nan Niu (IRI, 2023)

Addressing Discrete Dynamic Optimization via a Logic-Based Discrete-Steepest Descent Algorithm. - Zedong Peng; Albert Lee; David E. Bernal Neira (CDC, 2024)

Measure this, not that: Optimizing the cost and model-based information content of measurements. - Jialu Wang; Zedong Peng; Ryan Hughes; Debangsu Bhattacharyya; David E. Bernal Neira; Alexander W. Dowling (Comput. Chem. Eng., 2024)

MPAX: Mathematical Programming in JAX. - Haihao Lu; Zedong Peng; Jinwen Yang (CoRR, 2024)

A Verifiable and Privacy-Preserving Federated Learning Training Framework. - Haohua Duan; Zedong Peng; Liyao Xiang; Yuncong Hu; Bo Li 001 (IEEE Trans. Dependable Secur. Comput., 2024)

DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis. - Zeju Li; Changran Xu; Zhengyuan Shi; Zedong Peng; Yi Liu; Yunhao Zhou; Lingfeng Zhou; Chengyu Ma; Jianyuan Zhong; Xi Wang; Jieru Zhao; Zhufei Chu; et al. (CoRR, 2025)

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis. - Zedong Peng; Zeju Li; Mingzhe Gao; Qiang Xu 001; Chen Zhang 001; Jieru Zhao (CoRR, 2025)