publications

Selected publications and conference papers.

International Conferences

  1. FSE’26
    Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper
    Yoel Kim and Yunja Choi
    In Proceedings of the ACM International Conference on the Foundations of Software Engineering, 2026
  2. FSE’24
    PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
    Yoel Kim and Yunja Choi
    In Proceedings of the ACM International Conference on the Foundations of Software Engineering, 2024
    DOI Slides

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
    In Korea Conference on Software Engineering, 2026
    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
    In Korea Conference on Software Engineering, 2023
    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
    In 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
    In Korea Conference on Software Engineering, 2021
    PDF