Digital Library


Search: " author: Kyunghee Choi" (3)
    Generating Test Cases and Scripts from Requirements in Controlled Language
    Hye Jin Han, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering, Vol. 8, No. 8, pp. 331-342, Aug. 2019
    https://doi.org/10.3745/KTSDE.2019.8.8.331
    Keywords: test case generation, Test Script, Controlled Requirement, Test Coverage, Test Case Auto Generation


    Architecture for Simulink/Stateflow Model Based Test Case Generation Considering Feedback
    WooWon Choi, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 7, pp. 361-370, Jul. 2017
    10.3745/KTSDE.2017.6.7.361
    Keywords: Embedded System, Testing, Feedback, Test Case


    Test Case Generation For Simulink/Stateflow Model Using Yices and Model Information
    Han Gon Park, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 6, pp. 293-302, Jun. 2017
    10.3745/KTSDE.2017.6.6.293
    Keywords: test case generation, Simulink/Stateflow, Model Based Test, Yices