![Geguang Pu](https://2024.esec-fse.org/getProfileImage/geguangpu/f6bde3a9-9ffa-4b1c-8fee-540c0318dfda/small.jpg?1722777141000)
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
FSE 2024-profile
View general profile
View general profile