Login / Signup
KimHao Nguyen
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 11
Top Topics
Static Analysis
Commercial Software
Symbolic Execution
Decision Trees
Top Venues
ICSE-Companion
Proc. ACM Program. Lang.
CoRR
ICSE (Companion Volume)
</>
Publications
</>