Hansol Choe

发表

CRESTIVE-DX: Design and Implementation of Distrusted Concolic Testing Tool for Embedded Software

Shin Hong, Hyerin Leem, Hansol Choe, 2020 .

Categories and Patterns of Java Program Unit Test Code Bugs

Shin Hong, Hansol Choe, 2019 .

Bounded Search Strategies of Concolic Testing for Effective and Efficient Structural Coverage Achievement

Shin Hong, Hansol Choe, 2021 .