Digital Library

검색어: " keyword: Automated Test Data Generation Alloy" (1)
1. Automated Test Data Generation for Testing Programs with Flage Variables Based on SAT
In Sang Chung, KIPS Journal D (2001 ~ 2012) , Vol. 16D, No.3, pp.371-380, March 2009
10.3745/KIPSTD.2009.16D.3.371
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).