Digital Library

Vol. 4, No. 1, January, 2015

Code Slicing Tool for Effective Software Verification
Ming Yu Park, Dong Woo Kim, Yun Ja Choi
10.3745/KTSDE.2015.4.1.001
Case Study of Model-Based Test with Smart TV
Seon Yeol Lee, Jung Ho Bae, Heung Seok Chae
10.3745/KTSDE.2015.4.1.019
Study for Remove of Uncertainty by Identification of Ambiguity
Eun Ser Lee
10.3745/KTSDE.2015.4.1.031
An Efficient Algorithm for Betweenness Centrality Estimation in Social Networks
Soo Jin Shin, Yong Hwan Kim, Chan Myung Kim, Youn Hee Han
10.3745/KTSDE.2015.4.1.037
Context-sensitive Word Error Detection and Correction for Automatic Scoring System of English Writing
Yong Seok Choi, Kong Joo Lee
10.3745/KTSDE.2015.4.1.045
Context Awareness Model using the Improved Google Activity Recognition
Seung Eun Baek, Sang Won Park
10.3745/KTSDE.2015.4.1.057
A Method for Selecting Software Reliability Growth Models Using Partial Data
Yong Jun Park, Bup Ki Min, Hyeon Soo Kim
10.3745/KTSDE.2015.4.1.099

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).