Skip to content
cs-conference-ranking.org

Yunja Choi

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

10

Active years

2007–2026

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2026ICDCSFalconf: Configuration Error Diagnosis via Log Sequence Learning and Automated Misconfiguration Injections.Youyang Kim, Sahil Suneja, Yunja Choi, Young-Woo Kwon, Byungchul Tak
2024RENon-Functional Requirements Discovery and Quality Assurance Using Goal Model for Earthquake Warning System in Operation.Youngsul Shin, Seok-Won Lee, Yunja Choi
2020ICSEProperty-based testing for LG home appliances using accelerated software-in-the-loop simulation.Mingyu Park, Hoon Jang, Taejoon Byun, Yunja Choi
2018ICSEPrecise concolic unit testing of C programs using extended units and symbolic alarm filtering.Yunho Kim, Yunja Choi, Moonzoo Kim
2018SEFMAutomated Validation of IoT Device Control Programs Through Domain-Specific Model Generation.Yunja Choi
2017APSECModeling OSEK/VDX OS Requirements in C.Yoohee Chung, Dongwoo Kim, Yunja Choi
2016APSECModel-Based API-Call Constraint Checking for Automotive Control Software.Dongwoo Kim, Yoohee Chung, Yunja Choi
2015SACAutomated system-level safety testing using constraint patterns for automotive operating systems.Taejoon Byun, Yunja Choi
2014APSECEvaluation of Maude as a Test Generation Engine for Automotive Operating Systems.Yunja Choi, Min Zhang, Kazuhiro Ogata
2013SEFMConstraint Specification and Test Generation for OSEK/VDX-Based Operating Systems.Yunja Choi
2011ISSRESafety Analysis of Trampoline OS Using Model Checking: An Experience Report.Yunja Choi
2010COMPSACSystematic Composition and Verification of Abstract Components.Yunja Choi
2008ICSTPre-testing Flash Device Driver through Model Checking Techniques.Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
2007SOFSEMChecking Interaction Consistency in MARMOT Component Refinements.Yunja Choi