Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
暂无分享,去创建一个
[1] Goran Frehse,et al. PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.
[2] S. Ramesh,et al. AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems , 2008, CAV.
[3] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[4] Koushik Sen,et al. CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.
[5] Edward A. Lee,et al. What's Ahead for Embedded Software? , 2000, Computer.
[6] Roberto Bagnara,et al. The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems , 2006, Sci. Comput. Program..
[7] K. Butts,et al. Symbolic verification of executable control specifications , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).
[8] Oded Maler,et al. Systematic Simulation Using Sensitivity Analysis , 2007, HSCC.
[9] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[10] Koushik Sen,et al. DART: directed automated random testing , 2005, PLDI '05.
[11] S. Ramesh,et al. Randomized directed testing (REDIRECT) for Simulink/Stateflow models , 2008, EMSOFT '08.
[12] A. Tiwari. Formal Semantics and Analysis Methods for Simulink Stateflow Models , 2001 .
[13] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[14] Grégoire Hamon,et al. A denotational semantics for stateflow , 2005, EMSOFT.
[15] Pravin Varaiya,et al. Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.
[16] Nicolas Halbwachs,et al. Verification of Linear Hybrid Systems by Means of Convex Approximations , 1994, SAS.
[17] Rajeev Alur,et al. Predicate abstraction for reachability analysis of hybrid systems , 2006, TECS.
[18] S. Shankar Sastry,et al. Scanning the issue - special issue on modeling and design of embedded software , 2003, Proceedings of the IEEE.
[19] Ansgar Fehnker,et al. Benchmarks for Hybrid Systems Verification , 2004, HSCC.
[20] Ashish Tiwari,et al. Abstractions for hybrid systems , 2008, Formal Methods Syst. Des..
[21] Ian M. Mitchell,et al. Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.
[22] Antoine Girard,et al. Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.
[23] Antoine Girard,et al. Verification Using Simulation , 2006, HSCC.
[24] John M. Rushby,et al. An operational semantics for Stateflow , 2004, International Journal on Software Tools for Technology Transfer.
[25] Joël Ouaknine,et al. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems , 2003, Int. J. Found. Comput. Sci..
[26] Stavros Tripakis,et al. Translating discrete-time simulink to lustre , 2003, TECS.
[27] Insup Lee,et al. Robust Test Generation and Coverage for Hybrid Systems , 2007, HSCC.
[28] Bruce H. Krogh,et al. Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations , 1999, HSCC.
[29] Sriram Sankaranarayanan,et al. Symbolic Model Checking of Hybrid Systems Using Template Polyhedra , 2008, TACAS.
[30] Tarik Nahhal,et al. Test Coverage for Continuous and Hybrid Systems , 2007, CAV.
[31] Gabor Karsai,et al. Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations , 2004, GT-VMT@ETAPS.