Publications

Full Papers

• Orbis: Guiding Symbolic Execution Techniques to Maximize Option-Related Branch Coverage (Accepted)

Minjong Kim, Sungjae Hwang, and Sooyoung Cha

ASE 2026: International Conference on Automated Software Engineering

[pdf] [tool]

• Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines 

Donghee Hong, Minjong Kim, Sooyoung Cha, and Jaemin Jo 

EuroVis 2026: Eurographics Conference on Visualization

[pdf] [tool]

• Enhancing Symbolic Execution with Self-Configuring Parameters

Minjong Kim and Sooyoung Cha 

ICSE 2026: International Conference on Software Engineering  

[pdf] [tool]

Short Papers

• TuneScape: Visualizing Multi-Tuner Parameter Optimization Logs (Conditionally accepted)

Donghee Hong, Minjong Kim, Sooyoung Cha, and Jaemin Jo 

VIS 2026: IEEE Visualization Conference

[pdf]

Posters

• Symetra: Visual Analytics for Tuning Symbolic Execution Engines 

Donghee Hong, Minjong Kim, Sooyoung Cha, and Jaemin Jo 

VIS 2025: IEEE Visualization Conference

[pdf]

Domestic Conferences

• 프로그램 옵션을 통해 기호실행 성능 향상 

김민종, 차수영 

KSC 2024: Korea Software Congress

[url]

• 기호실행 도구를 위한 최적의 파라미터 세팅 자동 구성 기술 

김민종, 차수영 

KSC 2023: Korea Software Congress

[url]