Automatic abstraction for model checking software systems with interrelated numeric constraints. - Yunja Choi; Sanjai Rayadurgam; Mats Per Erik Heimdahl (ESEC / SIGSOFT FSE, 2001)

Model Checking RSML-e Requirements. - Yunja Choi; Mats Per Erik Heimdahl (HASE, 2002)

Deviation Analysis Through Model Checking. - Mats Per Erik Heimdahl; Yunja Choi; Michael W. Whalen (ASE, 2002)

Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. - Yunja Choi; Sanjai Rayadurgam; Mats Per Erik Heimdahl (Requir. Eng., 2002)

Model Checking Software Requirement Specifications using Domain Reduction Abstraction. - Yunja Choi; Mats Per Erik Heimdahl (ASE, 2003)

Combination Model Checking: Approach and a Case Study. - Yunja Choi; Mats Per Erik Heimdahl (ASE, 2004)

Model Checking Flight Guidance Systems: from Synchrony to Asynchrony. - Yunja Choi (FMICS, 2004)

Deviation Analysis: A New Use of Model Checking. - Mats Per Erik Heimdahl; Yunja Choi; Michael W. Whalen (Autom. Softw. Eng., 2005)

Checking Interaction Consistency in MARMOT Component Refinements. - Yunja Choi (SOFSEM (1), 2007)

From NuSMV to SPIN: Experiences with model checking flight guidance systems. - Yunja Choi (Formal Methods Syst. Des., 2007)

Early Safety Analysis: from Use Cases to Component-based Software Development. - Yunja Choi (J. Object Technol., 2007)

Towards Component-Based Design and Verification of a µ-Controller. - Yunja Choi; Christian Bunse (CBSE, 2008)

Pre-testing Flash Device Driver through Model Checking Techniques. - Moonzoo Kim; Yunja Choi; Yunho Kim; Hotae Kim (ICST, 2008)

Formal Verification of a Flash Memory Device Driver - An Experience Report. - Moonzoo Kim; Yunja Choi; Yunho Kim; Hotae Kim (SPIN, 2008)

Verification of an abstract component using communication patterns. - Yunja Choi (MOMPES, 2009)

Systematic Composition and Verification of Abstract Components. - Yunja Choi (COMPSAC, 2010)

Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software. - Yunja Choi; Hoon Jang (HASE, 2010)

Safety Analysis of Trampoline OS Using Model Checking: An Experience Report. - Yunja Choi (ISSRE, 2011)

Design verification in model-based μ-controller development using an abstract component. - Yunja Choi; Christian Bunse (Softw. Syst. Model., 2011)

Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems - Mingyu Park; Taejoon Byun; Yunja Choi (FTSCS, 2012)

Concolic testing of the multi-sector read operation for flash storage platform software. - Moonzoo Kim; Yunho Kim; Yunja Choi (Formal Aspects Comput., 2012)

Controlled composition and abstraction for bottom-up integration and verification of abstract components. - Yunja Choi; Moonzoo Kim (Inf. Softw. Technol., 2012)

Evaluation of an Abstract Component Model for Embedded Systems Development. - Christian Bunse; Yunja Choi; Hans-Gerhard Gross (J. Inf. Process. Syst., 2012)

Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. - Yunja Choi (SEFM, 2013)

Integration testing through reusing representative unit test cases for high-confidence medical software. - Youngsul Shin; Yunja Choi; Woo Jin Lee (Comput. Biol. Medicine, 2013)

Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis. - Yunja Choi (IEICE Trans. Inf. Syst., 2013)

Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems. - Yunja Choi; Min Zhang 002; Kazuhiro Ogata 001 (APSEC (1), 2014)

A Formal Semantics of the OSEK/VDX Standard in $${ mathbb {K}}$$ Framework and Its Applications. - Min Zhang 002; Yunja Choi; Kazuhiro Ogata 001 (WRLA, 2014)

Model checking Trampoline OS: a case study on safety analysis for automotive software. - Yunja Choi (Softw. Test. Verification Reliab., 2014)

Automated system-level safety testing using constraint patterns for automotive operating systems. - Taejoon Byun; Yunja Choi (SAC, 2015)

Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation. - Yunja Choi; Mingyu Park; Taejoon Byun; Dongwoo Kim (Sci. Comput. Program., 2015)

Model-Based API-Call Constraint Checking for Automotive Control Software. - Dongwoo Kim; Yoohee Chung; Yunja Choi (APSEC, 2016)

Light-Weight API-Call Safety Checking for Automotive Control Software Using Constraint Patterns. - Dongwoo Kim; Yunja Choi (ICITCS, 2016)

Modeling OSEK/VDX OS Requirements in C. - Yoohee Chung; Dongwoo Kim; Yunja Choi (APSEC, 2017)

A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns. - Yunja Choi; Dongwoo Kim (IEICE Trans. Inf. Syst., 2017)

Constraint-based test generation for automotive operating systems. - Yunja Choi; Taejoon Byun (Softw. Syst. Model., 2017)

Precise concolic unit testing of C programs using extended units and symbolic alarm filtering. - Yunho Kim; Yunja Choi; Moonzoo Kim (ICSE, 2018)

Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation. - Yunja Choi (SEFM, 2018)

A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems. - Yunja Choi (J. Syst. Softw., 2018)

A two-step approach for pattern-based API-call constraint checking. - Dongwoo Kim; Yunja Choi (Sci. Comput. Program., 2018)

Model Checking Embedded Control Software using OS-in-the-Loop CEGAR. - Dongwoo Kim; Yunja Choi (ASE, 2019)

Property-based testing for LG home appliances using accelerated software-in-the-loop simulation. - Mingyu Park; Hoon Jang; Taejoon Byun; Yunja Choi (ICSE (SEIP), 2020)

OS-Aware Interaction Model for the Verification of Multitasking Embedded Software. - Yunja Choi (IEEE Access, 2020)

OS-in-the-Loop verification for multi-tasking control software. - Yunja Choi (Softw. Test. Verification Reliab., 2023)

Non-Functional Requirements Discovery and Quality Assurance Using Goal Model for Earthquake Warning System in Operation. - Youngsul Shin; Seok-Won Lee; Yunja Choi (RE, 2024)

PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software. - Yoel Kim; Yunja Choi (Proc. ACM Softw. Eng., 2024)