Digital Library

Search: "[ author: 최경희 ]" (49)
    Extracting Reusable Test Cases from Modified MATLAB Simulink Model
    Park Geon Gu, Han Hye Jin, Chung Ki Hyun, Choi Kyung Hee KIPS Transactions on Software and Data Engineering, Vol. 8, No. 6, pp. 235-242, Jun. 2019
    https://doi.org/10.3745/KTSDE.2019.8.6.235
    Keywords: Test Case Reuse, Simulink/Stateflow, Model Based Test


    Design and Implementation of Embedded Linux Router
    Min Kyu Joo, Kyung Hee Choi, Jong Su Kim, Jong Wuk Moon, Gi Hyun Jung The KIPS Transactions:PartA, Vol. 8, No. 4, pp. 339-344, Dec. 2001
    10.3745/KIPSTA.2001.8.4.339


    A Reconfigurable Memory Allocation Model for Real - Time Linux System
    Jae Hong Shim, Suk Yong Jung, Bong Jik Kang, Kyung Hee Choi, Gi Hyun Jung The KIPS Transactions:PartA, Vol. 8, No. 3, pp. 189-200, Sep. 2001
    10.3745/KIPSTA.2001.8.3.189


    An Expanded Real - Time Scheduler Model for Supporting Aperiodic Task Servers
    Jae Hong Shim, Yeong Ill Kim, Kyung Hee Choi, Gi Hyun Jung, Hae Young Yoo The KIPS Transactions:PartA, Vol. 8, No. 1, pp. 16-26, Mar. 2001
    10.3745/KIPSTA.2001.8.1.16


    An Automatic Test Case Generation Method from Checklist
    Hyun Dong Kim, Dae Joon Kim, Ki Hyun Chung, Kyung Hee Choi, Ho Joon Park, Yong Yoon Lee KIPS Transactions on Software and Data Engineering, Vol. 6, No. 8, pp. 401-410, Aug. 2017
    10.3745/KTSDE.2017.6.8.401
    Keywords: Embedded System, Test Case, Medical Device, Checklist, Testing


    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


    A Hierarchical Checklist to Automatically Generate Test Scripts
    Dae Joon Kim, Ki Hyun Chung, Kyung Hee Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 5, pp. 245-256, May. 2017
    10.3745/KTSDE.2017.6.5.245
    Keywords: Embedded System, test, Test Script, Checklist


    Test Case Generation for Simulink/Stateflow Model Based on a Modified Rapidly Exploring Random Tree Algorithm
    Han Gon Park, Ki Hyun Chung, Kyung Hee Choi KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 653-662, Dec. 2016
    10.3745/KTSDE.2016.5.12.653
    Keywords: test case generation, Simulink/Stateflow, ECU


    A Method to Automatically Generate Test Scripts from Checklist for Testing Embedded System
    Tae Hoon Kang, Dae Joon Kim, Ki Hyun Chung, Kyung Hee Choi KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 641-652, Dec. 2016
    10.3745/KTSDE.2016.5.12.641
    Keywords: Embedded System, test, Test Script, Checklist


Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTSDE is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTSDE is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals