1 |
MATLAB Simulink Stateflow http://www.mathworks.com/products/stateflow/1994-2012 The MathWorks, Inc.
|
2 |
Reactis http://www.reactive-systems.com/products.msp Reactive Systems,Inc
|
3 |
T-VEC tester http://www.t-vec.com/solutions/products.php T-VEC Technologies, Inc.
|
4 |
Design Verifier http://www.mathworks.com/products/sldesignverifier/ Mathworks, Inc.
|
5 |
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.
|
6 |
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.
|
7 |
C.S. Pasareanu, "Model Based Analysis and Test Generation for Flight Software" in SMC-IT 2009, Third IEEE International Conference pp.83-90, 2009.
|
8 |
J. S. Oh, M. Harman, S. Yoo, "Transition coverage Testing for Simulink/Stateflow Models Using Messy Genetic Algorithms" in Proceedings of the 13th annual conference on Genetic and evolutionary computation pp.1851-1858, 2011.
|
9 |
P. Peranandam, S. Raviram, M. Satpathy, "An Integrated Test Generation Tool for Enhanced Coverage of Simulink/ Stateflow Models", Design, Automation & Test in Europe Conference & Exhibition, pp.308-311, 2012.
|
10 |
R. Alur, "Model checking of hierarchical state machines" in Proceedings of the 6th ACM SIGSOFT FSE, Vol.23, Issue 6, pp.175-188, 1998.
|
11 |
A. Agrawal, G. Simun, 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.
|
12 |
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
|
13 |
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
|
14 |
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.
|
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 |
T. Dang, T. Nahhal, "Coverage-guided test generation for continuous and hybrid systems" in Formal Methods in System Design Vol.34, No.2, pp.183-213, 2009.
DOI
|
17 |
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.
|
18 |
J. Kim, "Adaptive Sample Bias for Rapidly-exploring Random Trees with Applications to Test Generation" in American Control Conference, Proceedings Vol.2, pp.1166-1172, 2005.
|
19 |
S. M. LaValle, J. J. Kuffner. In B. R. Donald, K. M. Lynch, D. Rus, "Rapidly-exploring random trees: Progress and prospects.", Algorithmic and Computational Robotics: New Directions, pp.293-308. A K Peters, Wellesley, MA, 2001.
|
20 |
T. Nahhal, T. Dang, "Test Generation For Analog And Mixed-Signal Circuits using Hybrid system models" in International Journal of VLSI Design & Communication Systems Vol.2, Issue.3, pp.21-38, 2011.
DOI
|
21 |
MATLAB Simulink, Modeling an Automatic Transmission Controller, http://www.mathworks.co.kr/products/simulink/examples.html?file=/products/demos/shipping/simulink/sldemo_autotrans.html
|
22 |
SAV Solving In General, http://www.satisfiability.org/
|
23 |
K. L. McMillan, "Symbolic Model Checking-an Approach to the State Explosion Problem" Kluwer Academic Publishers, 1993.
|
24 |
E.M. Clarke, E.A. Emerson, 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
ScienceOn
|
25 |
C. S. Pasareanu, P. C. Mehlitz, D. H. Bushnell, K. G. Burlet, M. Lowry, S. Person, M. Pape, "Combining unit level symbolic execution and system level concrete execution for testing" NASA softwrae. In Proc. ISSTA'08 (to appear), 2008.
|
26 |
T.A. Henzinger, "The Theory of Hybrid Automata" in Proceedings of Logic in Computer Science, Eleventh Annual IEEE Symposium pp.278-292, 1996.
|
27 |
"Star Discrepancy." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/StarDiscrepancy.html
|
28 |
J. C. Gower "A general coefficient of similarity and some of its properties" in Biometrics, Vol.27, pp.857-871, 1971.
DOI
ScienceOn
|
29 |
K. J. Hayhurst, D. S. Veerhusen, J. J. Chilenski, L. K. Rierson, "A Practical Tutorial on Modified Condition/ Decision Coverage", NASA, 2001.
|