1 |
R. Alur, "Model checking of hierarchical state machines," in Proceedings of the 6th ACM SIGSOFT FSE, Vol.23, Iss.6, pp.175-188, 1998.
|
2 |
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, Iss.1. pp.94-124, 1998.
DOI
|
3 |
T. Brihaye, "A note on the undecidability of the reach-ability problem for o-minimal dynamical systems," in Mathematical Logic Quarterly, Vol.52, Iss.2 pp.165-170, 2006.
DOI
|
4 |
S. M. LaValle, "Rapidly-Exploring Random Trees: A New Tool for Path Planning," TR 98-11 Computer Science Dept., Iowa State Univ. , 1998.
|
5 |
J. M. Esposito, J. Kim, and V. Kumar, "A Probabilistic Approach to Automated Test Case Generation for Hybrid Systems," in Hybrid Systems: Computation and Control, 2004.
|
6 |
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.
|
7 |
The Yices SMT Solver [Internet], http://www.csl.sri.com.
|
8 |
C. S. Pasareanu, "Model Based Analysis and Test Gen-eration for Flight Software," in SMC-IT 2009, 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," in Proc. ISSTA'08 (to appear), NASA Softwrae, 2008.
|
10 |
H. S. Hong, I. S. Lee, O. Sokolsky, and S. D. Cha, "Automatic Test Generation From Statecharts Using Model Checking," in Technical Report, Department of Computer & Information Science University of Pennsylvania, MS-CIS-01-07, 2001
|
11 |
K. L. McMillan, "Symbolic Model Checking - an Ap-proach to the State Explosion Problem," Kluwer Academic Publishers, 1993.
|
12 |
E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications," ACM Transitions on Programming Languages and Systems, Vol.8, No.2, pp.244-263, 1986.
DOI
|
13 |
C. Dougsa-ard, K. Dahal, A. Hossain, and T. Suwannasart, "GA-based Automatic Test Data Generation for UML State Diagrams with Parallel Paths," Advanced design and manufacture to gain a competitive edge, pp.147-156, 2008.
|
14 |
S. Kansomkeat and W. Rivepiboon, "Automated-Generating Test Case Using UML Statechart Diagrams," Proceedings of the 2003 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement Through Technology, pp.296-300, 2003.
|
15 |
P. Samuel, R. Mall, and A. K. Bothra, "Automatic test case generation using unified model language (UML) state diagrams," IET Software, Vol.2, Iss.2, pp.79-93, 2008.
DOI
|
16 |
MATLAB Simulink Stateflow, The MathWorks, Inc. [Internet], http://www.mathworks.com/products/stateflow/ 1994-2013.
|
17 |
S. K. Swain, D. P. Mohapatra, and R. Mall, "Test case Generation Based on State and Activity Models," Journal of Object Technology, Vol.9, Iss.5, pp.1-27, 2010.
DOI
|
18 |
P. Roy and N. Shankar, "SimCheck: a contract type system for Simulink," Journal of Innovations in Systems and Software Engineering, Vol.7, Iss.2, pp.73-83, 2011.
DOI
|
19 |
Reactis, Reactive Systems, Inc. [Internet], http://www.reactive-systems.com/products.msp.
|
20 |
T-VEC tester, T-VEC Technologies, Inc. [Internet], http://www.t-vec.com/solutions/products.php.
|
21 |
Design Verifier, Mathworks, Inc. [Internet], http://www.mathworks.com/products/sldesignverifier/.
|
22 |
J. M. Esposito, "Randomized Test Case Generation for Hybrid Systems: metric selection," in System Theory, Proceedings of the Thirty-Sixth Southeastern Symposium, pp.236-240, 2004.
|
23 |
SAV Solving In General [Internet], http://www.satisfiability.org/.
|
24 |
T. A. Henzinger, "The Theory of Hybrid Automata," in Proceedings of Logic in Computer Science, Eleventh Annual IEEE Symposium, pp.278-292, 1996.
|
25 |
A. Agrawal, G. Simun, and G. Karsai, "Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations," in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques, Vol.109, pp.43-56, 2004.
|
26 |
T. Dang and T. Nahhal, "Coverage-guided test generation for continuous and hybrid systems," Formal Methods in System Design, Vol.34, No.2, pp.183-213, 2009.
DOI
|
27 |
S. N. Ahmadyan, J. A. Kumar, and S. Vasudevan, "Goaloriented stimulus generation for analog circuits," Design Automation Conference, pp.1018-1023, 2012.
|
28 |
M. S. Branicky, M. M. Curtiss, and J. A. Levine, "RRTs for nonlinear, discrete, and hybrid planning and control," Proceedings 42nd IEEE conference Decision and Control, Vol.1, pp.657-663, 2003.
|
29 |
J. C. Gower "A general coefficient of similarity and some of its properties," Biometrics, Vol.27, pp.857-871, 1971.
DOI
|