Yunja Choi - RankMe

46 papers A* 5A 3B 3C 3Misc 1Journal 19Unranked 12

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