Yunja Choi

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 14

Top Topics

Constraint Checking

Test Generation

Behavioral Patterns

Top Venues

Softw. Test. Verification Reliab.

Sci. Comput. Program.

Publications

Yoel Kim, Yunja Choi
PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Yunja Choi
OS-in-the-Loop verification for multi-tasking control software. Softw. Test. Verification Reliab. 33 (1) (2023)
Mingyu Park, Hoon Jang, Taejoon Byun, Yunja Choi
Property-based testing for LG home appliances using accelerated software-in-the-loop simulation. ICSE (SEIP) (2020)
Yunja Choi
OS-Aware Interaction Model for the Verification of Multitasking Embedded Software. IEEE Access 8 (2020)
Dongwoo Kim, Yunja Choi
Model Checking Embedded Control Software using OS-in-the-Loop CEGAR. ASE (2019)
Dongwoo Kim, Yunja Choi
A two-step approach for pattern-based API-call constraint checking. Sci. Comput. Program. 163 (2018)
Yunja Choi
Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation. SEFM (2018)
Yunho Kim, Yunja Choi, Moonzoo Kim
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering. ICSE (2018)
Yunja Choi
A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems. J. Syst. Softw. 137 (2018)
Yunja Choi, Taejoon Byun
Constraint-based test generation for automotive operating systems. Softw. Syst. Model. 16 (1) (2017)
Yoohee Chung, Dongwoo Kim, Yunja Choi
Modeling OSEK/VDX OS Requirements in C. APSEC (2017)
Yunja Choi, Dongwoo Kim
A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns. IEICE Trans. Inf. Syst. (7) (2017)
Dongwoo Kim, Yunja Choi
Light-Weight API-Call Safety Checking for Automotive Control Software Using Constraint Patterns. ICITCS (2016)
Dongwoo Kim, Yoohee Chung, Yunja Choi
Model-Based API-Call Constraint Checking for Automotive Control Software. APSEC (2016)
Taejoon Byun, Yunja Choi
Automated system-level safety testing using constraint patterns for automotive operating systems. SAC (2015)
Yunja Choi, Mingyu Park, Taejoon Byun, Dongwoo Kim
Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation. Sci. Comput. Program. 103 (2015)
Yunja Choi, Min Zhang, Kazuhiro Ogata
Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems. APSEC (1) (2014)
Min Zhang, Yunja Choi, Kazuhiro Ogata
A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications. WRLA (2014)
Yunja Choi
Model checking Trampoline OS: a case study on safety analysis for automotive software. Softw. Test. Verification Reliab. 24 (1) (2014)
Yunja Choi
Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis. IEICE Trans. Inf. Syst. (3) (2013)
Yunja Choi
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. SEFM (2013)
Youngsul Shin, Yunja Choi, Woo Jin Lee
Integration testing through reusing representative unit test cases for high-confidence medical software. Comput. Biol. Medicine 43 (5) (2013)
Christian Bunse, Yunja Choi, Hans-Gerhard Gross
Evaluation of an Abstract Component Model for Embedded Systems Development. J. Inf. Process. Syst. 8 (4) (2012)
Moonzoo Kim, Yunho Kim, Yunja Choi
Concolic testing of the multi-sector read operation for flash storage platform software. Formal Aspects Comput. 24 (3) (2012)
Yunja Choi, Moonzoo Kim
Controlled composition and abstraction for bottom-up integration and verification of abstract components. Inf. Softw. Technol. 54 (1) (2012)
Mingyu Park, Taejoon Byun, Yunja Choi
Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems FTSCS (2012)
Yunja Choi, Christian Bunse
-controller development using an abstract component. Softw. Syst. Model. 10 (1) (2011)
Yunja Choi
Safety Analysis of Trampoline OS Using Model Checking: An Experience Report. ISSRE (2011)
Yunja Choi
Systematic Composition and Verification of Abstract Components. COMPSAC (2010)
Yunja Choi, Hoon Jang
Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software. HASE (2010)
Yunja Choi
Verification of an abstract component using communication patterns. MOMPES (2009)
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
Pre-testing Flash Device Driver through Model Checking Techniques. ICST (2008)
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
Formal Verification of a Flash Memory Device Driver - An Experience Report. SPIN (2008)
Yunja Choi, Christian Bunse
Towards Component-Based Design and Verification of a µ-Controller. CBSE (2008)
Yunja Choi
Checking Interaction Consistency in MARMOT Component Refinements. SOFSEM (1) (2007)
Yunja Choi
From NuSMV to SPIN: Experiences with model checking flight guidance systems. Formal Methods Syst. Des. 30 (3) (2007)
Yunja Choi
Early Safety Analysis: from Use Cases to Component-based Software Development. J. Object Technol. 6 (8) (2007)
Yunja Choi
Model Checking Flight Guidance Systems: from Synchrony to Asynchrony. Electron. Notes Theor. Comput. Sci. 133 (2005)
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen
Deviation Analysis: A New Use of Model Checking. Autom. Softw. Eng. 12 (3) (2005)
Yunja Choi, Mats Per Erik Heimdahl
Combination Model Checking: Approach and a Case Study. ASE (2004)
Yunja Choi, Mats Per Erik Heimdahl
Model Checking Software Requirement Specifications using Domain Reduction Abstraction. ASE (2003)
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen
Deviation Analysis Through Model Checking. ASE (2002)
Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. Requir. Eng. 7 (4) (2002)
Yunja Choi, Mats Per Erik Heimdahl
Model Checking RSML-e Requirements. HASE (2002)
Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Automatic abstraction for model checking software systems with interrelated numeric constraints. ESEC / SIGSOFT FSE (2001)