• Sign in
  • Sign up
conf.researchr.org / Liangze Yin
  • ICSE 2019 profile
  • ISSTA 2025 profile
  • Internetware 2023 profile
No Photo

Not registered as user

Name:Liangze Yin
Affiliation:National University of Defense Technology

Contributions

2025

ISSTA

  • Author of Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation within the Research Papers-track

2023

Internetware

  • Author of FAEG: Feature-Driven Automatic Exploit Generation within the Main Track-track

2019

ICSE

  • Author of Parallel Refinement for Multi-Threaded Program Verification within the Technical Track-track
Share
xTue 20 May 22:40
using conf.researchr.org (v1.69.0)
Support page
Sign Up