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

ESEC/FSE 2021 Author of Selecting Test Inputs for DNNs using Differential Testing with Subspecialized Model Instances within the Ideas, Visions and Reflections-track
ICSE 2020 Programme Committee in Program Committee within the Software Engineering in Practice-track