Sign in
Yongcong Wang
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Statistical Machine Translation
Medial Axis
Satisfiability Modulo Theories
Seed Selection
Top Venues
Empir. Softw. Eng.
ICSE
</>
Publications
</>
Ming Wen
,
Yongcong Wang
,
Yifan Xia
,
Hai Jin
Evaluating seed selection for fuzzing JavaScript engines.
Empir. Softw. Eng.
28 (6) (2023)
Maolin Sun
,
Yibiao Yang
,
Ming Wen
,
Yongcong Wang
,
Yuming Zhou
,
Hai Jin
Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs.
ICSE
(2023)