Precise Concolic Unit Testing of C Programs using Extended Units and Symbolic Alarm Filtering
- Yunho Kim
- , Yunja Choi
- , Moonzoo Kim
- Korea Advanced Institute of Science and Technology
Research output: Contribution to journal › Conference article › peer-review
18
Scopus
citations