Login / Signup
Gaolei Yi
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 7
Top Topics
Neural Network
Static Analysis
Temporal Logic
Generation Algorithm
Top Venues
QRS Companion
DSA
QRS
</>
Publications
</>
Gaolei Yi
,
Zizhao Chen
,
Zhenyu Chen
,
W. Eric Wong
,
Nicholas Chau
Exploring the Capability of ChatGPT in Test Generation.
QRS Companion
(2023)
Yuan Zhao
,
Gaolei Yi
,
Fan Liu
,
Zhanwei Hui
,
Jianhua Zhao
A Framework for Scanning Privacy Information based on Static Analysis.
QRS
(2022)
Gaolei Yi
,
Xiaoyu Yang
,
Pu Huang
,
Yichen Wang
A Coverage-Guided Fuzzing Framework based on Genetic Algorithm for Neural Networks.
DSA
(2021)
Xinyi Wang
,
Gaolei Yi
,
Yichen Wang
Automated Functional Testing of Search Engines using Metamorphic Testing.
QRS Companion
(2021)
Bingqing Zhang
,
Gaolei Yi
,
Yichen Wang
,
Qi Fei
Research on generation algorithm of SOA-oriented integration test order.
QRS Companion
(2021)
Gaolei Yi
,
Xinyi Wang
,
Yichen Wang
An Empirical Study of Counterexample-Guided Fuzzing for Neural Networks Verification.
DSA
(2020)
Xinyi Wang
,
Gaolei Yi
,
Yichen Wang
An Empirical Study of Flight Control System Model Checking Integrated with FMEA.
QRS Companion
(2020)