Wenjing Deng -

Registered user since Mon 13 Feb 2023

Name:Wenjing Deng

Affiliation:East China Normal University

Contributions

2025

ASE

Author of Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation within the Research Papers-track

2023

ICSE

Author of AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers within the SRC - ACM Student Research Competition-track