1 |
J. Zander, I. Schieferdecker, P. J. Mosterman, "Model-based Testing for Embedded systems", Vol.13, CRC Press, 2012.
|
2 |
K. Forsberg, H. Mooz, "The Relationship of System Engineering to the Project Cycle", in Proceedings of the First Annual Symposium of National Council on System Engineering, pp.57-65, 1991.
|
3 |
MATLAB Simulink Stateflow http://www.mathworks.com/products/stateflow/ 1994-2013 The MathWorks, Inc.
|
4 |
R. Alur, "Model checking of hierarchical state machines" in Proceedings of the 6th ACM SIGSOFT FSE, Vol.23, Issue 6, pp.175-188, 1998.
|
5 |
T. A. Henzinger, P. W. Kopke, A. Puri, P. Varaiya, "What's Decidable About Hybrid Automata?", Journal of Computer and System Sciences Vol.57, Issue 1, pp.94-124, 1998.
DOI
ScienceOn
|
6 |
T. Brihaye, "A note on the undecidability of the reachability problem for o-minimal dynamical systems" in Mathematical Logic Quarterly, Vol.52, Issue 2, pp.165-170, 2006.
DOI
ScienceOn
|
7 |
J.M. Esposito, J. Kim, V. Kumar "A Probabilistic Approach to Automated Test Case Generation for Hybrid Systems" in Hybrid Systems: Computation and Control, 2004.
|
8 |
Reactis http://www.reactive-systems.com/products.msp Reactive Systems, Inc
|
9 |
Design Verifier http://www.mathworks.com/products/sldeignverifier/ Mathworks, Inc.
|
10 |
H. S. Hong, I. S. Lee, O. Sokolsky, 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 |
M. Satpathy, A. Yeolekar, 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.
|
12 |
T.A. Henzinger, "The Theory of Hybrid Automata" in Proceedings of Logic in Computer Science, Eleventh Annual IEEE Symposium, pp.278-292, 1996.
|
13 |
K. L. McMillan, "Symbolic Model Checking - an Approach to the State Explosion Problem" Kluwer Academic Publishers, 1993.
|
14 |
L. de Moura, "SMT Solvers", 2006.
|
15 |
S. M. LaValle, "Rapidly-Exploring Random Trees: A New Tool for Path Planning" TR 98-11 Computer Science Dept., Iowa State Univ. , 1998.
|
16 |
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.
|
17 |
W., C, Barret, R. Sebastiani, S. A. Seshia, C. Tinelli, "Satisfiability Modulo Theories", Handbook of satisfiability, pp.825-885, 2009.
|
18 |
D. R. Cok, A. Griggio, R. Bruttomesso, "The 2012 SMT Competition", 2012.
|
19 |
J. C. Gower "A general coefficient of similarity and some of its properties" in Biometrics, Vol.27, pp.857-871, 1971.
DOI
ScienceOn
|
20 |
T. Mason, D. Brown, "Lex & yacc", O'Reilly, 1992.
|
21 |
L. de Moura, N. Bjorner, "Z3: An efficient SMT solver.", Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008.
|