conf.researchr.org / Yunja Choi
Registered user since Mon 3 Jun 2019
Name:Yunja Choi
Country:South Korea
Affiliation:Kyungpook National University
Personal website: https://sselab.knu.ac.kr/
Research interests:Software Safety, Model Checking, Embedded Software
Contributions
2024
ESEC/FSE
- Author of PBE-based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software within the Research Papers-track
- Session Chair of Formal Verification (part of Research Papers)
- Author of PBE-based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software within the Posters-track
2023
2022
2020
ICSE
- Programme Committee in Program Committee within the Software Engineering in Practice-track
- Committee Member in Program Committee within the New Ideas and Emerging Results-track
- Author of Property-based Testing for LG Home Appliances using Accelerated Software-in-the-Loop Simulation within the Software Engineering in Practice-track
- Co-chair in Student Mentoring Workshop Co-chairs within the Student Mentoring Workshop-track
- Student Mentoring Workshop Co-Chair in Organizing Committee