Sign in
Meixi Liu
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Constraint Solving
Symbolic Execution
Recommendation Systems
Neural Architecture
Top Venues
APSEC
ISSRE Workshops
QRS Companion
ASE
</>
Publications
</>
He Wei
,
Yuekui Yang
,
Haiyang Wu
,
Yangyang Tang
,
Meixi Liu
,
Jianfeng Li
Automatic Feature Selection By One-Shot Neural Architecture Search In Recommendation Systems.
WWW
(2023)
Meixi Liu
,
Ziqi Shuai
,
Luyao Liu
,
Kelin Ma
,
Ke Ma
Optimal Refinement-based Array Constraint Solving for Symbolic Execution.
APSEC
(2022)
Meixi Liu
,
Weijiang Hong
,
Weiyu Pan
,
Chendong Feng
A Robustness-Oriented Data Augmentation Method for DNN.
QRS Companion
(2021)
Jinjian Luo
,
Meixi Liu
,
Yunlai Luo
,
Zhenbang Chen
,
Yufeng Zhang
A Runtime Monitoring Based Fuzzing Framework for Temporal Properties.
ISSRE Workshops
(2021)
Meixi Liu
,
Weijiang Hong
,
Weiyu Pan
,
Chendong Feng
,
Zhenbang Chen
,
Ji Wang
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN.
ASE
(2020)