• Sign in
  • Sign up
conf.researchr.org / Yunja Choi
  • * ICSE 2018 * profile
  • APSEC 2022 profile
  • APSEC 2023 profile
  • ASE 2019 profile
  • ICSE 2020 profile
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

2023

APSEC

  • Program Co-Chair in Organizing Committee
  • Co-chair in Program Committee within the Technical Track-track

2022

APSEC

  • Committee Member in Program Committee within the Technical Track-track
  • Program Co-Chair in Organizing Committee

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

FormaliSE

  • PC Member in Program Committee within the FormaliSE 2020-track

2019

ASE

  • Author of Model checking embedded control software using OS-in-the-loop CEGAR within the Research Papers-track

2018

ICSE

  • Author of Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts within the Technical Papers -track
Share
xThu 28 Sep 22:07
using conf.researchr.org (v1.61.3)
Support page
Sign Up