1 |
L. H. Tahat, B. Vaysburg, B. Korel, and A. J. Bader, "Requirement-based automated black-box test generation," in Proceeding of the 25th Annual International Computer Software and Applications Conference COMPSAC, pp.489-495, 2001.
|
2 |
MATLAB Simulink Stateflow [Internet], http://www.mathwo rks.com/products/stateflow. (The MathWorks, Inc.)
|
3 |
Lutz Koster, Thomas Thomsen, and Ralf Stracke, "Connecting Simulink to OSEK: Automatic Code Generation for Real-Time Operating Systems with TargetLink," Society of Automotive Engineering, pp.2001-01-0024, 2001.
|
4 |
Auto Code Generation [Internet], http://www.reactive-systems.com/papers/bcsf.pdf. (October 19, 2013.)
|
5 |
R. Alur, "Model checking of hierarchical state machines," in Proceedings of the 6th ACM SIGSOFT FSE, pp.175-188, 1998.
|
6 |
The Yices SMT Solver [Internet], http://www.csl.sri.com.
|
7 |
M. Satpathy, A. Yeolekar, and S. Ramesh, "Randomized Directed Testing (REDIRECT) for Simulink/Stateflow Models," in Proceedings of the 8th ACM International Conference on Embedded Software, pp.217-226, 2008.
|
8 |
C. S. Pasareanu, "Model Based Analysis and Test Gen-eration for Flight Software," in Proceedings of the Third IEEE International Conference, pp.83-90, 2009.
|
9 |
C. S. Pasareanu, P. C. Mehlitz, D. H. Bushnell, K. G. Burlet, M. Lowry, S. Person, and M. Pape, "Combining unit level symbolic execution and system level concrete execution for testing NASA softwrae," in Proceedings of the ISSTA, pp. 15-25, 2008.
|
10 |
H. S. Hong, I. S. Lee, O. Sokolsky, and S. D. Cha, "Automatic Test Generation From Statecharts Using Model Checking," in Proceedings of FATES'01, Workshop on Formal Approaches to Testing of Software, BRICS Notes Series, Vol.NS-01-4, pp.15-30.
|
11 |
K. L. McMillan, "Symbolic Model Checking - an Approach to the State Explosion Problem," Ph.D. dissertation, Carnegie Mellon University Pittsburgh, PA, USA, 1992.
|
12 |
T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, "What's Decidable About Hybrid Automata?" Journal of Computer and System Sciences, Vol.57, Issue 1, pp.94-124, 1998.
DOI
|
13 |
H. S. Park, "Generating Structural Test Cases of Simulink/ Stateflow Model Based on RRT Algorithm Using Heuristic Input Analysis," Korea Information Processing Society, Vol.2, No.12, pp.829-840, 2012.
|
14 |
T-VEC tester [Internet], http://www.t-vec.com/solutions/products.php. (T-VEC Technologies, Inc.)
|
15 |
S. M. Seo, "Test Case Generation for Simulink Stateflow Model using SMT Solver," M.S. dissertation, Ajou University, Suwon, Korea, 2014.
|
16 |
J. W. Kim, "Simulink/Stateflow Model Based Test Case Generation using a Decomposition Approach," M.S. dissertation, Ajou University, Suwon, Korea, 2015.
|
17 |
P. Samuel, R. Mall, and A. K. Bothra, "Automatic test case generation using unified model language (UML) state diagrams," IET Software, Vol.2, Issue 2, pp.79-93, 2008.
DOI
|
18 |
SAV Solving In General [Internet], http://www.satisfiability.org/.
|
19 |
Reactis [Internet], http://www.reactive-systems.com/products.msp. (Reactive Systems, Inc.)
|
20 |
L. de Moura, "SMT Sovlers," 2006.
|
21 |
R-Bench TE [Internet], http://www.btstech.co.kr/page_vaHk97.
|