conf.researchr.org / Geguang Pu
Registered user since Wed 31 Jan 2024
Name:Geguang Pu
Country:China
Affiliation:East China Normal University, China
Research interests:Formal Methods, Model Checking, Software Testing, Requirement Engineering
Contributions
2024
ASE
2023
ESEC/FSE
- Author of Automata-based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android within the Research Papers-track
- Author of LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems within the Industry Papers-track
- Author of Property-based Fuzzing for Finding Data Manipulation Errors in Android Apps within the Research Papers-track