Yunja Choi

According to our database, Yunja Choi authored at least 44 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

OS-in-the-Loop verification for multi-tasking control software.

Yunja Choi

Softw. Test. Verification Reliab., 2023

2020

OS-Aware Interaction Model for the Verification of Multitasking Embedded Software.

Yunja Choi

IEEE Access, 2020

Property-based testing for LG home appliances using accelerated software-in-the-loop simulation.

Mingyu Park, Hoon Jang, Taejoon Byun, Yunja Choi

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

Model Checking Embedded Control Software using OS-in-the-Loop CEGAR.

Dongwoo Kim, Yunja Choi

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

A two-step approach for pattern-based API-call constraint checking.

Dongwoo Kim, Yunja Choi

Sci. Comput. Program., 2018

A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems.

Yunja Choi

J. Syst. Softw., 2018

Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation.

Yunja Choi

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Precise concolic unit testing of C programs using extended units and symbolic alarm filtering.

Yunho Kim, Yunja Choi, Moonzoo Kim

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Constraint-based test generation for automotive operating systems.

Yunja Choi, Taejoon Byun

Softw. Syst. Model., 2017

A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns.

Yunja Choi, Dongwoo Kim

IEICE Trans. Inf. Syst., 2017

Modeling OSEK/VDX OS Requirements in C.

Yoohee Chung, Dongwoo Kim, Yunja Choi

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Light-Weight API-Call Safety Checking for Automotive Control Software Using Constraint Patterns.

Dongwoo Kim, Yunja Choi

Proceedings of the 6th International Conference on IT Convergence and Security, 2016

Model-Based API-Call Constraint Checking for Automotive Control Software.

Dongwoo Kim, Yoohee Chung, Yunja Choi

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

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

Automated system-level safety testing using constraint patterns for automotive operating systems.

Taejoon Byun, Yunja Choi

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Model checking Trampoline OS: a case study on safety analysis for automotive software.

Yunja Choi

Softw. Test. Verification Reliab., 2014

A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications.

Min Zhang, Yunja Choi, Kazuhiro Ogata

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems.

Yunja Choi, Min Zhang, Kazuhiro Ogata

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis.

Yunja Choi

IEICE Trans. Inf. Syst., 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

Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems.

Yunja Choi

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

2012

Evaluation of an Abstract Component Model for Embedded Systems Development.

Christian Bunse, Yunja Choi, Hans-Gerhard Gross

J. Inf. Process. Syst., 2012

Controlled composition and abstraction for bottom-up integration and verification of abstract components.

Yunja Choi, Moonzoo Kim

Inf. Softw. Technol., 2012

Concolic testing of the multi-sector read operation for flash storage platform software.

Moonzoo Kim, Yunho Kim, Yunja Choi

Formal Aspects Comput., 2012

Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems

Mingyu Park, Taejoon Byun, Yunja Choi

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

2011

Design verification in model-based <i>μ</i>-controller development using an abstract component.

Yunja Choi, Christian Bunse

Softw. Syst. Model., 2011

Safety Analysis of Trampoline OS Using Model Checking: An Experience Report.

Yunja Choi

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

2010

Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software.

Yunja Choi, Hoon Jang

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

Systematic Composition and Verification of Abstract Components.

Yunja Choi

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009

Verification of an abstract component using communication patterns.

Yunja Choi

Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009

2008

Formal Verification of a Flash Memory Device Driver - An Experience Report.

Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim

Proceedings of the Model Checking Software, 2008

Pre-testing Flash Device Driver through Model Checking Techniques.

Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim

Proceedings of the First International Conference on Software Testing, 2008

Towards Component-Based Design and Verification of a µ-Controller.

Yunja Choi, Christian Bunse

Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007

Early Safety Analysis: from Use Cases to Component-based Software Development.

Yunja Choi

J. Object Technol., 2007

From NuSMV to SPIN: Experiences with model checking flight guidance systems.

Yunja Choi

Formal Methods Syst. Des., 2007

Checking Interaction Consistency in MARMOT Component Refinements.

Yunja Choi

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

2005

Deviation Analysis: A New Use of Model Checking.

Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen

Autom. Softw. Eng., 2005

2004

Model Checking Flight Guidance Systems: from Synchrony to Asynchrony.

Yunja Choi

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Combination Model Checking: Approach and a Case Study.

Yunja Choi, Mats Per Erik Heimdahl

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

Model Checking Software Requirement Specifications using Domain Reduction Abstraction.

Yunja Choi, Mats Per Erik Heimdahl

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002

Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.

Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Requir. Eng., 2002

Deviation Analysis Through Model Checking.

Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Model Checking RSML-e Requirements.

Yunja Choi, Mats Per Erik Heimdahl

Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

2001

Automatic abstraction for model checking software systems with interrelated numeric constraints.

Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001