Digital Library

Search: "[ keyword: Software Test ]" (13)
    A Dynamic Management Technique for Weighted Testcases in Software Testing
    Sang Hyuck Han , Jung Su Jung , Seung Li Jin , Young Kuk Kim The KIPS Transactions:PartD, Vol. 17, No. 6, pp. 423-430, Dec. 2010
    10.3745/KIPSTD.2010.17.6.423


    Automated Functionality Test Methods for Web-based Applications
    Seung Hak Kuk , Hyeon Soo Kim The KIPS Transactions:PartD, Vol. 14, No. 5, pp. 517-530, Aug. 2007
    10.3745/KIPSTD.2007.14.5.517


    A Study on the Analysis of Internal and External Factors of Software Threat Elements
    Lee Eun Ser The Transactions of the Korea Information Processing Society, Vol. 13, No. 6, pp. 278-283, Jun. 2024
    https://doi.org/10.3745/TKIPS.2024.13.6.278
    Keywords: Software Test, Reliability, Software Safety


    Reengineering Black-box Test Cases
    Kwang Ik Seo , Eun Man Choi The KIPS Transactions:PartD, Vol. 13, No. 4, pp. 573-582, Aug. 2006
    10.3745/KIPSTD.2006.13.4.573


    A Test Case Generation Techniques Based on J2ME Platform
    Sang Il Kim , Myong Ki Roh , Sung Yul Rhew The KIPS Transactions:PartD, Vol. 13, No. 2, pp. 215-222, Apr. 2006
    10.3745/KIPSTD.2006.13.2.215


    Effective Test Case Generation for Various Types of Web-based Software
    Hyun Soo Kim , Eun Man Choi The KIPS Transactions:PartD, Vol. 12, No. 4, pp. 569-582, Aug. 2005
    10.3745/KIPSTD.2005.12.4.569


    A Testing Method For Web-Based Banking Applications Using Formal Specification
    Young Hee Ahn , Eun Man Choi The KIPS Transactions:PartD, Vol. 11, No. 4, pp. 855-864, Aug. 2004
    10.3745/KIPSTD.2004.11.4.855


    Program Slicing in the Presence of Complicated Data Structure
    Lyu Ho Yeon , Park Jung Yang , Park Jae Heung The KIPS Transactions:PartD, Vol. 10, No. 6, pp. 999-1010, Oct. 2003
    10.3745/KIPSTD.2003.10.6.999


    MuGenFBD: Automated Mutant Generator for Function Block Diagram Programs
    Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae KIPS Transactions on Software and Data Engineering, Vol. 10, No. 4, pp. 115-124, Apr. 2021
    https://doi.org/10.3745/KTSDE.2021.10.4.115
    Keywords: Mutant Generation, Mutation Analysis, Function Block Diagram, Software Testing


    CRESTIVE-DX: Design and Implementation of Distrusted Concolic Testing Tool for Embedded Software
    Hyerin Leem, Hansol Choe, Hyorim Kim, Shin Hong KIPS Transactions on Software and Data Engineering, Vol. 9, No. 8, pp. 229-234, Aug. 2020
    https://doi.org/10.3745/KTSDE.2020.9.8.229
    Keywords: Concolic Testing, Test Generation, Embedded Software Testing, Symbolic Execution, Automated Testing


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