Digital Library

Search: "[ author: Ki Hyun Chung ]" (15)
    Implementation of the Simulink Execution Module by Applying Automata Theory
    Kyung Joon Kim , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartA, Vol. 19, No. 1, pp. 23-34, Feb. 2012
    10.3745/KIPSTA.2012.19.1.23


    Test Input Sequence Generation Strategy for Timing Diagram using Linear Programming
    Hong Seok Lee , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartD, Vol. 17, No. 5, pp. 337-346, Oct. 2010
    10.3745/KIPSTD.2010.17.5.337


    Test Case Generation Strategy for Timing Diagram
    Hong Seok Lee , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartD, Vol. 17, No. 4, pp. 283-296, Aug. 2010
    10.3745/KIPSTD.2010.17.4.283


    Improvement of a Simulink Debugger Capacity for Model Verification
    Seong Jo Kim , Hong Seok Lee , Kyung Hee Choi , Ki Hyun Chung The KIPS Transactions:PartD, Vol. 17, No. 2, pp. 111-118, Apr. 2010
    10.3745/KIPSTD.2010.17.2.111


    A Study of Development of All Wheel Steering ECU in Bi-modal Tram
    Ki Jeong Kim , Soo Ho Lee , Ki Hyun Chung , Kyung Hee Choi , Tae Won Park , Kyeong Ho Moon The KIPS Transactions:PartA, Vol. 17, No. 1, pp. 19-26, Feb. 2010
    10.3745/KIPSTA.2010.17.1.19


    A Study on CAN Based System Reliability Test
    Jong Hyun Kim , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartC, Vol. 15, No. 3, pp. 199-204, Jun. 2008
    10.3745/KIPSTC.2008.15.3.199


    Economic Damage Model on Industries due to Internet Attack and A Case Study
    Jong Ho Jang , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartC, Vol. 15, No. 3, pp. 191-198, Jun. 2008
    10.3745/KIPSTC.2008.15.3.191


    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


    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


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