Yoel Kim -

Registered user since Sun 4 Feb 2024

Name:Yoel Kim

Country:South Korea

Affiliation:Kyungpook National University

Personal website: https://yoelkim99.github.io/

Research interests:Model Checking, Automata Learning, Embedded Software

Contributions

2026

ESEC/FSE

Author of Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper within the Research Papers-track

2024

ESEC/FSE

Author of PBE-based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software within the Posters-track
Author of PBE-based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software within the Research Papers-track