Yun-Ja Choi

Kyungpook National University · Computer Science and Engineering

Information sourcenot verified yet

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

Prof. 최윤자

소프트웨어안전공학 연구실의 최윤자 교수는 소프트웨어 안전성 검증(Software Safety Verification)을 연구한다. 2021년부터 과학기술정보통신부 지원 소프트웨어재난연구센터의 센터장으로도 활동하고 있다.

Software safety engineering: software verificationmodel checkingand testing of embedded/control software

Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic MapperFSE (ACM International Conference on the Foundations of Software Engineering) · 2026
PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded SoftwareFSE (ACM International Conference on the Foundations of Software Engineering) · 2024
Non-Functional Requirements Discovery and Quality Assurance using Goal Model for Earthquake Warning System in OperationRE (IEEE International Requirements Engineering Conference) · 2024
OS-in-the-Loop verification for multi-tasking control softwareSoftware Testing, Verification and Reliability (STVR) 33(1) · 2023
Property-based Testing for LG Home Appliances using Accelerated Software-in-the-Loop SimulationICSE SEIP (IEEE/ACM International Conference on Software Engineering, Software Engineering in Practice) · 2020
Model checking embedded control software using OS-in-the-loop CEGARASE (IEEE/ACM International Conference on Automated Software Engineering) · 2019