Digital Library

검색어: " author: Kyunghee Choi" (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
Architecture for Simulink/Stateflow Model Based Test Case Generation Considering Feedback
WooWon Choi, Kihyun Chung, Kyunghee Choi, KIPS Transactions on Software and Data Engineering, Vol. 6, No.7, pp.361-370, July 2017
10.3745/KTSDE.2017.6.7.361
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).