An Empirical Study of Counterexample-Guided Fuzzing for Neural Networks Verification. - Gaolei Yi; Xinyi Wang; Yichen Wang (DSA, 2020)

An Empirical Study of Flight Control System Model Checking Integrated with FMEA. - Xinyi Wang; Gaolei Yi; Yichen Wang (QRS Companion, 2020)

A Coverage-Guided Fuzzing Framework based on Genetic Algorithm for Neural Networks. - Gaolei Yi; Xiaoyu Yang; Pu Huang; Yichen Wang (DSA, 2021)

Automated Functional Testing of Search Engines using Metamorphic Testing. - Xinyi Wang; Gaolei Yi; Yichen Wang (QRS Companion, 2021)

Research on generation algorithm of SOA-oriented integration test order. - Bingqing Zhang; Gaolei Yi; Yichen Wang; Qi Fei (QRS Companion, 2021)

A Framework for Scanning Privacy Information based on Static Analysis. - Yuan Zhao; Gaolei Yi; Fan Liu; Zhanwei Hui; Jianhua Zhao (QRS, 2022)

Exploring the Capability of ChatGPT in Test Generation. - Gaolei Yi; Zizhao Chen; Zhenyu Chen 001; W. Eric Wong; Nicholas Chau (QRS Companion, 2023)