Digital Library

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


    Comparison of Test Case Effectiveness Based on Dynamic Diagrams Using Mutation Testing
    Hyuck Su Lee , Choi Eun Man The KIPS Transactions:PartD, Vol. 16, No. 4, pp. 517-526, Aug. 2009
    10.3745/KIPSTD.2009.16.4.517


    Development Testing/Evaluating Methods about Security Functions based on Digital Printer
    Young Jun Cho , Kwang Woo Lee , Sung Kyu Cho , Hyun Sang Park , Hyoung Seob Lee , Hyun Seung Lee , Song Yi Kim , Wook Jae Cha , Woong Ryul Jeon , Dong Ho Won , Seung Joo The KIPS Transactions:PartC, Vol. 16, No. 4, pp. 461-476, Aug. 2009
    10.3745/KIPSTC.2009.16.4.461


    Automated Test Data Generation for Testing Programs with Flage Variables Based on SAT
    In Sang Chung The KIPS Transactions:PartD, Vol. 16, No. 3, pp. 371-380, Jun. 2009
    10.3745/KIPSTD.2009.16.3.371


    Test Supporter for GUI of Mobile Application Software in J2ME Platform
    Sun Myumg Hwang The KIPS Transactions:PartD, Vol. 16, No. 3, pp. 361-370, Jun. 2009
    10.3745/KIPSTD.2009.16.3.361


    An On-The-Fly Testing Technique of Embedded Software using Aspect Components
    Jong Phil Kim , Jang Eui Hong The KIPS Transactions:PartD, Vol. 15, No. 6, pp. 785-792, Dec. 2008
    10.3745/KIPSTD.2008.15.6.785


    Adaptive Random Testing through Iterative Partitioning with Enlarged Input Domain
    Seung Hun Shin , Seung Kyu Park The KIPS Transactions:PartD, Vol. 15, No. 4, pp. 531-540, Aug. 2008
    10.3745/KIPSTD.2008.15.4.531


    Mobile GUI Testing Tool Based-on Image Flow
    Sun Myung Hwang , Seok Jin Yoon The KIPS Transactions:PartD, Vol. 15, No. 3, pp. 347-354, Jun. 2008
    10.3745/KIPSTD.2008.15.3.347


    An Alloy Specification Based Automated Test Data Generation Technique
    In Sang Chung The KIPS Transactions:PartD, Vol. 14, No. 2, pp. 191-202, Apr. 2007
    10.3745/KIPSTD.2007.14.2.191


    Development of Reliability Measurement Method and Tool for Nuclear Power Plant Safety Software
    Lingjun Liu, Wooyoung Choi, Eunkyoung Jee, Duksan Ryu The Transactions of the Korea Information Processing Society, Vol. 13, No. 5, pp. 227-235, May. 2024
    https://doi.org/10.3745/TKIPS.2024.13.5.227
    Keywords: Software Reliability Measurement, Nuclear Power Plant Software, Bayesian Belief Network, Statistical Testing, Reliability Measurement Tool


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