conf.researchr.org / Geguang Pu
Not registered as user yet
Name:Geguang Pu
Contributions
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