Ki-Wook Shin

Automatic Test-Case Generation for Hardware-in-the-Loop Testing of Automotive Body Control Modules

Ki-Wook Shin, Shim soo Kim, Dong-Jin Lim, 2013 .

Automated Test Case Generation for Automotive Embedded Software Testing Using XMI-Based UML Model Transformations

Ki-Wook Shin, Shim soo Kim, Dong-Jin Lim, 2014 .

Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver

Ki-Wook Shin, Dong-Jin Lim, Ki-Wook Shin, 2017 .

Model-based automatic test case generation for automotive embedded software testing

Ki-Wook Shin, Dong-Jin Lim, Ki-Wook Shin, 2018 .

Model-Based Test Case Prioritization Using an Alternating Variable Method for Regression Testing of a UML-Based Model

Ki-Wook Shin, Dong-Jin Lim, 2020 .