Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs. - Maolin Sun; Yibiao Yang; Ming Wen 001; Yongcong Wang; Yuming Zhou; Hai Jin 001 (ICSE, 2023)

Evaluating seed selection for fuzzing JavaScript engines. - Ming Wen 001; Yongcong Wang; Yifan Xia; Hai Jin 001 (Empir. Softw. Eng., 2023)

Deep reinforcement learning navigation via decision transformer in autonomous driving. - Lun Ge; Xiaoguang Zhou; Yongqiang Li; Yongcong Wang (Frontiers Neurorobotics, 2024)