Digital Library

Search: "[ keyword: Data Generation ]" (6)
    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


    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


    Diffusion Model based Time-Series Data Generation Method for Augmenting Programmable Motion Fault Data of Collaborative Robots
    Min Seo Choi, Jin Se Kim, Jung Won Lee The Transactions of the Korea Information Processing Society, Vol. 14, No. 2, pp. 113-122, Feb. 2025
    https://doi.org/10.3745/TKIPS.2025.14.2.113
    Keywords: Collaborative robots, Sensor data, Fault diagnosis, Data Generation, Diffusion model


    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


    Automated Test Data Generation for Dynamic Branch Coverage
    In Sang Chung KIPS Transactions on Software and Data Engineering, Vol. 2, No. 7, pp. 451-460, Jul. 2013
    10.3745/KTSDE.2013.2.7.451


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