Yunja Choi
Title
Cited by
Cited by
Year
Model checking RSML/sup-e/requirements
Y Choi, MPE Heimdahl
7th IEEE International Symposium on High Assurance Systems Engineering, 2002 …, 2002
422002
Concolic testing of the multi-sector read operation for flash storage platform software
M Kim, Y Kim, Y Choi
Formal Aspects of Computing 24 (3), 355-374, 2012
332012
From NuSMV to SPIN: Experiences with model checking flight guidance systems
Y Choi
Formal Methods in System Design 30 (3), 199-216, 2007
322007
Deviation analysis: A new use of model checking
MPE Heimdahl, Y Choi, MW Whalen
Automated Software Engineering 12 (3), 321-347, 2005
242005
Model checking trampoline OS: a case study on safety analysis for automotive software
Y Choi
Software Testing, Verification and Reliability 24 (1), 38-60, 2014
232014
Safety analysis of trampoline OS using model checking: an experience report
Y Choi
2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011
222011
Formal verification of a flash memory device driver–an experience report
M Kim, Y Choi, Y Kim, H Kim
International SPIN Workshop on Model Checking of Software, 144-159, 2008
222008
Automatic abstraction for model checking software systems with interrelated numeric constraints
Y Choi, S Rayadurgam, MPE Heimdahl
Proceedings of the 8th European software engineering conference held jointly …, 2001
212001
Deviation analysis through model checking
MPE Heimdahl, Y Choi, M Whalen
Proceedings 17th IEEE International Conference on Automated Software …, 2002
192002
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering
Y Kim, Y Choi, M Kim
Proceedings of the 40th International Conference on Software Engineering …, 2018
172018
Constraint-based test generation for automotive operating systems
Y Choi, T Byun
Software & Systems Modeling 16 (1), 7-24, 2017
172017
Constraint specification and test generation for OSEK/VDX-based operating systems
Y Choi
International Conference on Software Engineering and Formal Methods, 305-319, 2013
172013
Model checking software requirement specifications using domain reduction abstraction
Y Choi, M Heimdahl
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
152003
Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation
Y Choi, M Park, T Byun, D Kim
Science of Computer Programming 103, 51-70, 2015
142015
Recovery of object oriented features from c++ binaries
K Yoo, R Barua
2014 21st Asia-Pacific Software Engineering Conference 1, 231-238, 2014
142014
Pre-testing flash device driver through model checking techniques
M Kim, Y Choi, Y Kim, H Kim
2008 1st International Conference on Software Testing, Verification, and …, 2008
142008
Property-based code slicing for efficient verification of osek/vdx operating systems
M Park, T Byun, Y Choi
arXiv preprint arXiv:1301.0042, 2013
102013
Design verification in model-based μ-controller development using an abstract component
Y Choi, C Bunse
Software & Systems Modeling 10 (1), 91-115, 2011
102011
Towards Component-Based Design and Verification of a μ-Controller
Y Choi, C Bunse
International Symposium on Component-Based Software Engineering, 196-211, 2008
102008
Early Safety Analysis: from Use Cases to Component-based Software Development.
Y Choi
J. Object Technol. 6 (8), 185-203, 2007
102007
The system can't perform the operation now. Try again later.
Articles 1–20