Open AccessTest-case Generation for Simulink/Stateflow Model using a Separated RRT Space
Author(s) -
Hyeon Sang Park,
Kyung Hee Choi,
Ki Hyun Chung
Publication year - 2013
Publication title -
kips transactions on software and data engineering
Language(s) - English
Resource type - Journals
eISSN - 2734-0503
pISSN - 2287-5905
DOI - 10.3745/ktsde.2013.2.7.471
Subject(s) - stateflow , reachability , state space , computer science , test case , random tree , algorithm , simulation , mathematical optimization , mathematics , artificial intelligence , motion planning , machine learning , statistics , matlab , operating system , regression analysis , robot
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom