Digital Library

Search: "[ author: 최경희 ]" (49)
    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


    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


    Translation Technique of Requirement Model using Natural Language
    Jung Sup Oh , Hye Ryun Lee , Kang Bin Yim , Kyung Hee Choi , Ki Hyun Jung The KIPS Transactions:PartD, Vol. 15, No. 5, pp. 647-658, Oct. 2008
    10.3745/KIPSTD.2008.15.5.647


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