References
- 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.
- MATLAB Simulink Stateflow [Internet], http://www.mathwo rks.com/products/stateflow. (The MathWorks, Inc.)
- 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.
- Auto Code Generation [Internet], http://www.reactive-systems.com/papers/bcsf.pdf. (October 19, 2013.)
- R. Alur, "Model checking of hierarchical state machines," in Proceedings of the 6th ACM SIGSOFT FSE, pp.175-188, 1998.
- The Yices SMT Solver [Internet], http://www.csl.sri.com.
- 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.
- 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.
- 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.
- 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.
- K. L. McMillan, "Symbolic Model Checking - an Approach to the State Explosion Problem," Ph.D. dissertation, Carnegie Mellon University Pittsburgh, PA, USA, 1992.
- 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. https://doi.org/10.1006/jcss.1998.1581
- 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.
- S. M. Seo, "Test Case Generation for Simulink Stateflow Model using SMT Solver," M.S. dissertation, Ajou University, Suwon, Korea, 2014.
- J. W. Kim, "Simulink/Stateflow Model Based Test Case Generation using a Decomposition Approach," M.S. dissertation, Ajou University, Suwon, Korea, 2015.
- 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. https://doi.org/10.1049/iet-sen:20060061
- T-VEC tester [Internet], http://www.t-vec.com/solutions/products.php. (T-VEC Technologies, Inc.)
- SAV Solving In General [Internet], http://www.satisfiability.org/.
- Reactis [Internet], http://www.reactive-systems.com/products.msp. (Reactive Systems, Inc.)
- L. de Moura, "SMT Sovlers," 2006.
- R-Bench TE [Internet], http://www.btstech.co.kr/page_vaHk97.