Seokhyun Lee -

Registered user since Wed 13 May 2020

Name:Seokhyun Lee

Country:South Korea

Affiliation:Korea University, South Korea

Contributions

2026

SPLASH/ISSTA

Author of Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification within the Tool Demonstrations-track

2022

ICSE

Author of SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters within the Technical Track-track

2020

ISSTA

Author of Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy within the Technical Papers-track