Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Guoqing Wang
conf.researchr.org general profile
ASE 2024 profile
ICSE 2025 profile
ISSTA/ECOOP 2024 profile
Registered user since Fri 12 Jul 2024
Name:
Guoqing Wang
Country:
China
Affiliation:
Peking University
Contributions
2025
ICSE
Author of Gpass: a Goal-adaptive Neural Theorem Prover based on Coq for Automated Formal Verification within the Research Track-track
2024
ASE
Author of Spotting Code Mutation for Predictive Mutation Testing within the Research Papers-track
ISSTA
Author of Commit Artifact Preserving Build Prediction within the Technical Papers-track
Share
x
Sat 5 Apr 16:30
