Taeho Kim -

Registered user since Wed 19 Jun 2019

Name:Taeho Kim

Country:South Korea

Affiliation:Electronics and Telecommunications Research Institute

Research interests:Software Safety, Formal Verification, System Software, Neuromorphic Software

Contributions

2023

APSEC

Committee Member in Program Committee within the SEIP - Software Engineering in Practice-track
Committee Member in Program Committee within the Technical Track-track

2021

ESEC/FSE

Author of Selecting Test Inputs for DNNs using Differential Testing with Subspecialized Model Instances within the Ideas, Visions and Reflections-track

2020

ICSE

Programme Committee in Program Committee within the Software Engineering in Practice-track