Digital Library

Search: "[ keyword: Gene ]" (196)
    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, Aug. 2017
    10.3745/KTSDE.2017.6.8.385
    Keywords: test case generation, Model-Based Development, Custom Parser, SMT Solver


    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, Jun. 2017
    10.3745/KTSDE.2017.6.6.293
    Keywords: test case generation, Simulink/Stateflow, Model Based Test, Yices


    Design of a Deep Neural Network Model for Image Caption Generation
    Dongha Kim, Incheol Kim KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 203-210, Apr. 2017
    10.3745/KTSDE.2017.6.4.203
    Keywords: Image Caption Generation, Deep Neural Network Model, Model Transfer, Multi-Modal Recurrent Neural Network


    A Method of Test Case Generation Using BPMN-Based Path Search
    JeJun Park, DongSu Kang KIPS Transactions on Software and Data Engineering, Vol. 6, No. 3, pp. 125-134, Mar. 2017
    10.3745/KTSDE.2017.6.3.125
    Keywords: Software Testing, Generating Test Case


    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, Dec. 2016
    10.3745/KTSDE.2016.5.12.653
    Keywords: test case generation, Simulink/Stateflow, ECU


    Android Intent Based Component Interaction Diagram Generation and Test Scenarios Design Techniques
    Tae-San Baek , Woo Jin Lee KIPS Transactions on Software and Data Engineering, Vol. 5, No. 4, pp. 165-170, Apr. 2016
    10.3745/KTSDE.2016.5.4.165


    Reviewer Recommendation Algorithms in Journal Manuscript Submission and Review Systems
    Yong Jin Jeong , Kyoung Han Kim , Hyun Kyo Lim , Yong Hwan Kim , Youn Hee Han KIPS Transactions on Software and Data Engineering, Vol. 4, No. 8, pp. 321-330, Aug. 2015
    10.3745/KTSDE.2015.4.8.321


    Case Study of Model-Based Test with Smart TV
    Seon Yeol Lee , Jung Ho Bae , Heung Seok Chae KIPS Transactions on Software and Data Engineering, Vol. 4, No. 1, pp. 19-30, Jan. 2015
    10.3745/KTSDE.2015.4.1.19


    Automatic Generation of Issue Analysis Report Based on Social Big Data Mining
    Jeong Heo , Chung Hee Lee , Hyo Jung Oh , Yeo Chan Yoon , Hyun Ki Kim , Yo Han Jo , Cheol Young Ock KIPS Transactions on Software and Data Engineering, Vol. 3, No. 12, pp. 553-564, Dec. 2014
    10.3745/KTSDE.2014.3.12.553


    Local Path Generation Method for Unmanned Autonomous Vehicles Using Reinforcement Learning
    Moon Jong Kim , Ki Chang Choi , Byong Hwa Oh , Ji Hoon Yang KIPS Transactions on Software and Data Engineering, Vol. 3, No. 9, pp. 369-374, Sep. 2014
    10.3745/KTSDE.2014.3.9.369


Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTSDE is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

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

Organization


Related Journals