conf.researchr.org / Geguang Pu
![Geguang Pu](https://conf.researchr.org/getProfileImage/geguangpu/7bb6a4bb-e29f-4a4d-850a-4ccac4f66a90/small.jpg?1711457590000)
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