Digital Library

Search: "[ keyword: Testing ]" (54)
    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


    A Test Case Generation Method Based on Activity for Android Application Testing
    Min Hyuk Ko , Yong Jin Seo , Sang Pil Yun , Hyeon Soo Kim KIPS Transactions on Software and Data Engineering, Vol. 2, No. 10, pp. 679-690, Oct. 2013
    10.3745/KTSDE.2013.2.10.679


    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


    Effect Relation-based Coverage and Test Case Generation for GUI Testing of iOS Applications
    Hyeon Soo Kim , Yong Jin Seo , Dae Geon Mun KIPS Transactions on Software and Data Engineering, Vol. 2, No. 3, pp. 151-160, Mar. 2013
    10.3745/KTSDE.2013.2.3.151


    Derivation of State Transition Diagram from Class Using Tree Staructure
    Soo Kyung Choi , Young Bom Park KIPS Transactions on Software and Data Engineering, Vol. 2, No. 1, pp. 19-26, Jan. 2013
    10.3745/KTSDE.2013.2.1.19


    An Aspect-based Testing Framework for Performance Evaluation of Composite Service
    Jong Phil Kim , Jang Eui Hong KIPS Transactions on Software and Data Engineering, Vol. 1, No. 3, pp. 149-158, Dec. 2012
    10.3745/KTSDE.2012.1.3.149


    Functional Test Automation for Android GUI Widgets Using XML
    Ying Zhe Ma , Eun Man Choi The KIPS Transactions:PartD, Vol. 19, No. 2, pp. 203-210, Apr. 2012
    10.3745/KIPSTD.2012.19.2.203


    Automated Test Data Generation for Testing Programs with Multi-Level Stack-directed Pointers
    In Sang Chung The KIPS Transactions:PartD, Vol. 17, No. 4, pp. 297-310, Aug. 2010
    10.3745/KIPSTD.2010.17.4.297


    Automated Black-Box Test Case Generation for MC/DC with SAT
    In Sang Chung The KIPS Transactions:PartD, Vol. 16, No. 6, pp. 911-920, Dec. 2009
    10.3745/KIPSTD.2009.16.6.911


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