Publications

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
    DOI Slides
  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 Journals

  1. KTSDE’26
    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

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
    우수 단편 논문 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
    최우수 단편 논문 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