Yoel Kim -

Registered user since Sun 4 Feb 2024

Name:Yoel Kim

Country:South Korea

Affiliation:Kyungpook National University

Research interests:Model Checking, Program Synthesis

Contributions

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