| Model checking RSML/sup-e/requirements Y Choi, MPE Heimdahl 7th IEEE International Symposium on High Assurance Systems Engineering, 2002 …, 2002 | 41 | 2002 |
| 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 | 35 | 2012 |
| 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 | 34 | 2018 |
| From NuSMV to SPIN: Experiences with model checking flight guidance systems Y Choi Formal Methods in System Design 30, 199-216, 2007 | 34 | 2007 |
| 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 | 31 | 2008 |
| 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 | 30 | 2014 |
| Safety analysis of trampoline OS using model checking: an experience report Y Choi 2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011 | 27 | 2011 |
| Deviation analysis: A new use of model checking MPE Heimdahl, Y Choi, MW Whalen Automated Software Engineering 12, 321-347, 2005 | 25 | 2005 |
| Constraint-based test generation for automotive operating systems Y Choi, T Byun Software & Systems Modeling 16, 7-24, 2017 | 22 | 2017 |
| 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 | 21 | 2001 |
| Deviation analysis through model checking MPE Heimdahl, Y Choi, M Whalen Proceedings 17th IEEE International Conference on Automated Software …, 2002 | 20 | 2002 |
| 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 | 18 | 2008 |
| Constraint specification and test generation for OSEK/VDX-based operating systems Y Choi International conference on software engineering and formal methods, 305-319, 2013 | 17 | 2013 |
| Model checking software requirement specifications using domain reduction abstraction Y Choi, M Heimdahl 18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003 | 17 | 2003 |
| 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 | 16 | 2015 |
| 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 | 13 | 2018 |
| Property-based testing for LG home appliances using accelerated software-in-the-loop simulation M Park, H Jang, T Byun, Y Choi Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 12 | 2020 |
| 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 | 12 | 2013 |
| Design verification in model-based μ-controller development using an abstract component Y Choi, C Bunse Software & Systems Modeling 10, 91-115, 2011 | 11 | 2011 |
| Early Safety Analysis: from Use Cases to Component-based Software Development. Y Choi J. Object Technol. 6 (8), 185-203, 2007 | 11 | 2007 |
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaVerified email at umn.edu