Digital Library

검색어: " keyword: test case generation" (13)
1. Fault Injection Based Indirect Interaction Testing Approach for Embedded System
Muhammad Iqbal Hossain, Woo Jin Lee, KIPS Transactions on Software and Data Engineering, Vol. 6, No.9, pp.419-428, September 2017
10.3745/KTSDE.2017.6.9.419
KIPS Transactions on Software and Data Engineering
2. 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
3. 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
4. Test Case Generation for Simulink/Stateflow Model Based on a Modified Rapidly Exploring Random Tree Algorithm
Han Gon Park, Ki Hyun Chung, Kyung Hee Choi, KIPS Transactions on Software and Data Engineering, Vol. 5, No.12, pp.653-662, December 2016
10.3745/KTSDE.2016.5.12.653
KIPS Transactions on Software and Data Engineering
5. Generating Test Cases of Simulink/Stateflow Model Based on RRT Algorithm Using Heuristic Input Analysis
Hyeon Sang Park, Kyung Hee Choi, Ki Hyun Chung, KIPS Transactions on Software and Data Engineering, Vol. 2, No.12, pp.829-840, December 2013
10.3745/KTSDE.2013.2.12.829
KIPS Transactions on Software and Data Engineering
6. 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
7. A Test Case Generation Method Based on Activity for Android Application Testing
Min Hyuk Ko, Yong Jin Seo, Sang Pil Yun, Hyeon Soo Kim, KIPS Transactions on Software and Data Engineering, Vol. 2, No.10, pp.679-690, October 2013
10.3745/KTSDE.2013.2.10.679
KIPS Transactions on Software and Data Engineering
8. Test-case Generation for Simulink/Stateflow Model using a Sparated RRT Space
Hyeon Sang Park, Kyung Hee Choi, KIPS Transactions on Software and Data Engineering, Vol. 2, No.7, pp.471-478, July 2013
10.3745/KTSDE.2013.2.7.471
KIPS Transactions on Software and Data Engineering
9. Effect Relation-based Coverage and Test Case Generation for GUI Testing of iOS Applications
Hyeon Soo Kim, Yong Jin Seo, Dae Geon Mun, KIPS Transactions on Software and Data Engineering, Vol. 2, No.3, pp.151-160, March 2013
10.3745/KTSDE.2013.2.3.151
KIPS Transactions on Software and Data Engineering
10. Comparison of Test Case Effectiveness Based on Dynamic Diagrams Using Mutation Testing
Hyuck Su Lee, Choi Eun Man, KIPS Journal D (2001 ~ 2012) , Vol. 16D, No.4, pp.517-526, April 2009
10.3745/KIPSTD.2009.16D.4.517
KIPS Journal D (2001 ~ 2012)
1 2 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).