Publications

International Conferences

  1. TACAS’27
    AutoCL: An End-to-End Tool for Active Automata Learning from C Programs
    Yoel Kim, Yong-Hwan Jeong, and Yunja Choi
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2027
    Major FM Conference | BKCS IF: 2 | Regular Tool Papers Track | Under Review
  2. FSE’26
    Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper
    Yoel Kim and Yunja Choi
    ACM International Conference on the Foundations of Software Engineering, 2026
    Top-tier SE Conference | BKCS IF: 4 | Acceptance Rate: 22.9% (211/920)
    DOI
  3. FSE’24
    PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
    Yoel Kim and Yunja Choi
    ACM International Conference on the Foundations of Software Engineering, 2024
    Top-tier SE Conference | BKCS IF: 4 | Direct Acceptance Rate: 11.6% (56/483)
    DOI

International Journals

  1. IEEE Access
    Learning Functional Specifications from Stateful Control Programs through Active Model Learning
    Yunja Choi and Yoel Kim
    IEEE Access, 2026
    SCIE | IF: 4.2 | Q2
    DOI

Domestic Conferences

  1. KCSE’26
    LLM-Based State Machine Generation Technique for Reactive Systems and Its Performance Evaluation
    Seungbin Choi, Yoel Kim, and Yunja Choi
    Korea Conference on Software Engineering, 2026
    Short Paper Award PDF
  2. KCSE’23
    An Approach of Incremental Constraint Extraction Based on I/O Examples for Automatic Stub Generation
    Yoel Kim and Yunja Choi
    Korea Conference on Software Engineering, 2023
    Best Short Paper Award PDF
  3. KSC’21
    A Case Study to Improve the Efficiency of Model Checking in Embedded Software Using Program Synthesis
    Yoel Kim and Yunja Choi
    Korea Software Congress, 2021
    PDF
  4. KCSE’21
    A Case Study on the Performance of Program Synthesis in Embedded Software Domain
    Yoel Kim and Yunja Choi
    Korea Conference on Software Engineering, 2021
    PDF

Domestic Journals

  1. KTSDE
    An Analysis of the Feasibility and Limitations of LLM-based State Machine Generation for Reactive Systems
    Seungbin Choi, Yoel Kim, and Yunja Choi
    KIPS Transactions on Software and Data Engineering, 2026

Thesis

  1. Ph.D.
    Data-Driven Abstractions for Embedded Software
    Yoel Kim
    School of Computer Science and Engineering, Kyungpook National University, 2027
    In Progress
  2. M.S.
    An Automated Stub Generation Approach Using Program Synthesis for Software Verification
    Yoel Kim
    School of Computer Science and Engineering, Kyungpook National University, 2023
    PDF