Follow
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
412002
Concolic testing of the multi-sector read operation for flash storage platform software
M Kim, Y Kim, Y Choi
Formal Aspects of Computing 24, 355-374, 2012
352012
From NuSMV to SPIN: Experiences with model checking flight guidance systems
Y Choi
Formal Methods in System Design 30, 199-216, 2007
342007
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
312018
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
302014
Formal verification of a flash memory device driver–an experience report
M Kim, Y Choi, Y Kim, H Kim
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA …, 2008
282008
Safety analysis of trampoline OS using model checking: an experience report
Y Choi
2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011
272011
Deviation analysis: A new use of model checking
MPE Heimdahl, Y Choi, MW Whalen
Automated Software Engineering 12, 321-347, 2005
252005
Constraint-based test generation for automotive operating systems
Y Choi, T Byun
Software & Systems Modeling 16, 7-24, 2017
212017
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
202002
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
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
172008
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
162015
Model checking software requirement specifications using domain reduction abstraction
Y Choi, M Heimdahl
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
142003
Integration testing through reusing representative unit test cases for high-confidence medical software
Y Shin, Y Choi, WJ Lee
Computers in Biology and Medicine 43 (5), 434-443, 2013
122013
A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems
Y Choi
Journal of Systems and Software 137, 563-579, 2018
112018
Design verification in model-based μ-controller development using an abstract component
Y Choi, C Bunse
Software & Systems Modeling 10, 91-115, 2011
112011
Early Safety Analysis: from Use Cases to Component-based Software Development.
Y Choi
J. Object Technol. 6 (8), 185-203, 2007
112007
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
The system can't perform the operation now. Try again later.
Articles 1–20