Digital Library


Search: "[ keyword: Gene ]" (190)
    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


    Decentralized LTL Specifications for Ensuring Quality of Interaction-centralized System
    Ryoung Kwo Kwon , Gi Hwon Kwon KIPS Transactions on Software and Data Engineering, Vol. 3, No. 5, pp. 169-178, May. 2014
    10.3745/KTSDE.2014.3.5.169