| Model-based automatic test case generation for automotive embedded software testing KW Shin, DJ Lim International Journal of Automotive Technology 19, 107-119, 2018 | 22 | 2018 |
| Model-based test case prioritization using an alternating variable method for regression testing of a UML-based model KW Shin, DJ Lim Applied Sciences 10 (21), 7537, 2020 | 12 | 2020 |
| Automated test case generation for automotive embedded software testing using XMI-based UML model transformations KW Shin, S soo Kim, SM Park, DJ Lim SAE Technical Paper, 2014 | 5 | 2014 |
| Automatic test-case generation for hardware-in-the-loop testing of automotive body control modules KW Shin, SS Kim, DJ Lim SAE Technical Paper, 2013 | 3 | 2013 |
| Automatic Test Case Generation Based on the UML Model of the Automotive-embedded Software Using a Custom Parser and SMT Solver DJ Shin, Ki-Wook and Lee, Ju Hyun and Kim, Shim soo and Park, Joong-Un and Lim JSAE 2016 Annual Congress (Spring), 2016 | 2* | 2016 |
| Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver KW Shin, DJ Lim 정보처리학회논문지/소프트웨어 및 데이터 공학 제 6 (8), 8, 2017 | | 2017 |