Digital Library

검색어: " author: Kyung Hee Choi" (35)
1. 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
2. Test Input Sequence Generation Strategy for Timing Diagram using Linear Programming
Hong Seok Lee, Ki Hyun Chung, Kyung Hee Choi, KIPS Journal D (2001 ~ 2012) , Vol. 17D, No.5, pp.337-346, May 2010
10.3745/KIPSTD.2010.17D.5.337
KIPS Journal D (2001 ~ 2012)
3. Test Case Generation Strategy for Timing Diagram
Hong Seok Lee, Ki Hyun Chung, Kyung Hee Choi, KIPS Journal D (2001 ~ 2012) , Vol. 17D, No.4, pp.283-296, April 2010
10.3745/KIPSTD.2010.17D.4.283
KIPS Journal D (2001 ~ 2012)
4. Improvement of a Simulink Debugger Capacity for Model Verification
Seong Jo Kim, Hong Seok Lee, Kyung Hee Choi, Ki Hyun Chung, KIPS Journal D (2001 ~ 2012) , Vol. 17D, No.2, pp.111-118, February 2010
10.3745/KIPSTD.2010.17D.2.111
KIPS Journal D (2001 ~ 2012)
5. Automatic Test Case Generation Through 1-to-1 Requirement Modeling
Jung Sup Oh, Kyung Hee Choi, Gi Hyun Jung, KIPS Journal D (2001 ~ 2012) , Vol. 17D, No.1, pp.41-52, January 2010
10.3745/KIPSTD.2010.17D.1.041
KIPS Journal D (2001 ~ 2012)
6. Translation Technique of Requirement Model using Natural Language
Jung Sup Oh, Hye Ryun Lee, Kang Bin Yim, Kyung Hee Choi, Ki Hyun Jung, KIPS Journal D (2001 ~ 2012) , Vol. 15D, No.5, pp.647-658, May 2008
10.3745/KIPSTD.2008.15D.5.647
KIPS Journal D (2001 ~ 2012)
7. A Single Requirement Modeling with Graphical Language for Embedded System
Jung Sup Oh, Hong Seok Lee, Hyun Sang Park, Jang Bok Kim, Kyung Hee Choi, Ki Hyun Jung, KIPS Journal D (2001 ~ 2012) , Vol. 15D, No.4, pp.505-512, April 2008
10.3745/KIPSTD.2008.15D.4.505
KIPS Journal D (2001 ~ 2012)
8. A Study on CAN Based System Reliability Test
Jong Hyun Kim, Ki Hyun Chung, Kyung Hee Choi, KIPS Journal C (2001 ~ 2012) , Vol. 15C, No.3, pp.199-204, March 2008
10.3745/KIPSTC.2008.15C.3.199
KIPS Journal C (2001 ~ 2012)
9. Economic Damage Model on Industries due to Internet Attack and A Case Study
Jong Ho Jang, Ki Hyun Chung, Kyung Hee Choi, KIPS Journal C (2001 ~ 2012) , Vol. 15C, No.3, pp.191-198, March 2008
10.3745/KIPSTC.2008.15C.3.191
KIPS Journal C (2001 ~ 2012)
10. Development of an Application for Reliability Testing on Controller Area Network
Ho Suk Kang, Kyung Hee Choi, Gi Hyun Jung, KIPS Journal D (2001 ~ 2012) , Vol. 14D, No.6, pp.649-656, June 2007
10.3745/KIPSTD.2007.14D.6.649
KIPS Journal D (2001 ~ 2012)
1 2 3 4 Next

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