Geguang Pu - SSBSE 2023

Fri 8 Dec 2023 San Francisco, California, United States

co-located with ESEC/FSE 2023

Registered user since Wed 31 Jan 2024

Name:Geguang Pu

Country:China

Affiliation:East China Normal University

Contributions

2023

ESEC/FSE

Automata-based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems
Property-based Fuzzing for Finding Data Manipulation Errors in Android Apps

Show activities from other conferences

ESEC/FSE 2023-profile
View general profile