Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bo Peng
conf.researchr.org general profile
ASE 2023 profile
ISSTA 2025 profile
Registered user since Sat 9 Sep 2023
Name:
Bo Peng
Affiliation:
Sun Yat-Sen University
Contributions
2025
ISSTA
Author of NADA: Neural Acceptance-driven Approximate Specification Mining within the Research Papers-track
2023
ASE
Author of PURLTL: Mining LTL Specification from Imperfect Traces in Testing within the NIER Track-track
Share
x
Thu 15 May 16:55
