Digital Library

Search: "[ author: 정기현 ]" (49)
    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 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


    Automatic Test Case Generation Through 1-to-1 Requirement Modeling
    Jung Sup Oh , Kyung Hee Choi , Gi Hyun Jung The KIPS Transactions:PartD, Vol. 17, No. 1, pp. 41-52, Feb. 2010
    10.3745/KIPSTD.2010.17.1.41


    An Efficient Searching of Vulnerabilities based on a DNS System model using Ptolemy
    Seung Hun Shin , Seung Kyu Park , Ki Hyun Jung The KIPS Transactions:PartD, Vol. 16, No. 6, pp. 921-926, Dec. 2009
    10.3745/KIPSTD.2009.16.6.921


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