Digital Library

검색어: " keyword: Automated Test Data Generation" (4)
1. 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, July 2013
10.3745/KTSDE.2013.2.7.451
KIPS Transactions on Software and Data Engineering
2. Automated Test Data Generation for Testing Programs with Multi-Level Stack-directed Pointers
In Sang Chung, KIPS Journal D (2001 ~ 2012) , Vol. 17D, No.4, pp.297-310, April 2010
10.3745/KIPSTD.2010.17D.4.297
KIPS Journal D (2001 ~ 2012)
3. Automated Black-Box Test Case Generation for MC/DC with SAT
In Sang Chung, KIPS Journal D (2001 ~ 2012) , Vol. 16D, No.6, pp.911-920, June 2009
10.3745/KIPSTD.2009.16D.6.911
KIPS Journal D (2001 ~ 2012)
4. An Alloy Specification Based Automated Test Data Generation Technique
In Sang Chung, KIPS Journal D (2001 ~ 2012) , Vol. 14D, No.2, pp.191-202, February 2007
10.3745/KIPSTD.2007.14D.2.191
KIPS Journal D (2001 ~ 2012)
1

Indexing


All publications of KTCCS and KTSDE are indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

doi

EBSCO

Google

crosscheck_it_trans

NRF

NRF


KTCCS and KTSDE are also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).