Digital Library

Search: "[ author: Kyung Hee Choi ]" (35)
    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


    Reconfigurable Test Execution Machine for Embedded System
    Kyoung Jin Kim , Ki Hyun Chung , Kyung Hee Choi KIPS Transactions on Software and Data Engineering, Vol. 3, No. 7, pp. 243-254, Jul. 2014
    10.3745/KTSDE.2014.3.7.243


    Destructive Test of a BLDC Motor Controller Utilizing a Modified Classification Tree Method
    Jae Hyuk Shin , Ki Hyun Chung , Kyung Hee Choi KIPS Transactions on Software and Data Engineering, Vol. 3, No. 6, pp. 201-214, Jun. 2014
    10.3745/KTSDE.2014.3.6.201


    Generating Test Cases of Simulink/Stateflow Model Based on RRT Algorithm Using Heuristic Input Analysis
    Hyeon Sang Park , Kyung Hee Choi , Ki Hyun Chung KIPS Transactions on Software and Data Engineering, Vol. 2, No. 12, pp. 829-840, Dec. 2013
    10.3745/KTSDE.2013.2.12.829


    Generating Test Cases of Stateflow Model Using Extended RRT Method Based on Test Goal
    Hyeon Sang Park , Kyung Hee Choi , Ki Hyun Chung KIPS Transactions on Software and Data Engineering, Vol. 2, No. 11, pp. 765-778, Nov. 2013
    10.3745/KTSDE.2013.2.11.765


    Test-case Generation for Simulink/Stateflow Model using a Sparated RRT Space
    Hyeon Sang Park , Kyung Hee Choi KIPS Transactions on Software and Data Engineering, Vol. 2, No. 7, pp. 471-478, Jul. 2013
    10.3745/KTSDE.2013.2.7.471


    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


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