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