Login / Signup
Soyeon Baek
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Test Generation
Malicious Code
Static Analysis
Symbolic Execution
Top Venues
SoftwareX
</>
Publications
</>
Soyeon Baek
,
Sungho Lee
CaLLi: OCaml library for static analysis of LLVM bitcode.
SoftwareX
27 (2024)