Digital Library

검색어: " keyword: 모델 기반 테스트" (3)
1. Applying Meta-Heuristic Algorithm based on Slicing Input Variables to Support Automated Test Data Generation
Hyorin Choi, Byungjeong Lee, KIPS Transactions on Software and Data Engineering, Vol. 7, No.1, pp.1-8, January 2018
10.3745/KTSDE.2018.7.1.001
KIPS Transactions on Software and Data Engineering
2. Test Case Generation For Simulink/Stateflow Model Using Yices and Model Information
Han Gon Park, Kihyun Chung, Kyunghee Choi, KIPS Transactions on Software and Data Engineering, Vol. 6, No.6, pp.293-302, June 2017
10.3745/KTSDE.2017.6.6.293
KIPS Transactions on Software and Data Engineering
3. Generating Test Cases of Stateflow Model Using Extended RRT Method Based on Test Goal
Hyeon Sang Park, Kyung Hee Choi, Ki Hyun Chung, KIPS Transactions on Software and Data Engineering, Vol. 2, No.11, pp.765-778, November 2013
10.3745/KTSDE.2013.2.11.765
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

crosscheck_it_trans

NRF

NRF


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