Digital Library


Search: "[ keyword: Test Case ]" (29)
    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, Jul. 2017
    10.3745/KTSDE.2017.6.7.361
    Keywords: Embedded System, Testing, Feedback, Test Case


    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


    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


    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, Dec. 2013
    10.3745/KTSDE.2013.2.12.829


    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, Nov. 2013
    10.3745/KTSDE.2013.2.11.765


    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, Oct. 2013
    10.3745/KTSDE.2013.2.10.679


    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, Jul. 2013
    10.3745/KTSDE.2013.2.7.471


    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, Mar. 2013
    10.3745/KTSDE.2013.2.3.151