Machine-Learning-Guided Selectively Unsound Static Analysis
- Kihong Heo
- , Hakjoo Oh
- , Kwangkeun Yi*
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
54
Link opens in a new tab
Citations
(Scopus)