Digital Library

검색어: " keyword: Custom Parser" (1)
Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver
Ki-Wook Shin, Dong-Jin Lim, KIPS Transactions on Software and Data Engineering, Vol. 6, No.8, pp.385-390, August 2017
10.3745/KTSDE.2017.6.8.385
KIPS Transactions on Software and Data Engineering
1

Indexing


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

doi

EBSCO

Google

Google

crosscheck_it_trans

NRF

NRF


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