Concepedia
Statistics
Publications
14
Citations
253
H-Index
11
Active since
2001
Affiliations
Kyungpook National University(Current)
University of Minnesota
Korea Advanced Institute of Science and Technology
Yunja Choi is an author at Kyungpook National University specializing in computer science, model checking, and computing.
Publications per year
2001–2018
Model checking RSML/sup -e/ requirements
Yunja Choi, Mats P. E. Heimdahl · 2003 · 31 citations
Computing, Computer Science, Formal Methods +15
Concolic testing of the multi-sector read operation for flash storage platform software
Moonzoo Kim, Yunho Kim, Yunja Choi · Formal Aspects of Computing · 2011 · 28 citations · Full text
Computing, Computer Engineering, Computer Science +12
From NuSMV to SPIN: Experiences with model checking flight guidance systems
Yunja Choi · Formal Methods in System Design · 2007 · 27 citations
Engineering, Aerospace Engineering, Computer Science +12
Deviation Analysis: A New Use of Model Checking
Mats P. E. Heimdahl, Yunja Choi, Michael W. Whalen · Automated Software Engineering · 2005 · 26 citations
Computing, Computer Science, Formal Methods +5
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering
Yunho Kim, Yunja Choi, Moonzoo Kim · 2018 · 19 citations
Computing, Computer Engineering, Computer Science +13
1–5 of 14