Randomized directed testing (REDIRECT) for Simulink/Stateflow models
暂无分享,去创建一个
[1] Experience report: the reactis validation tool , 2007, ICFP '07.
[2] Koushik Sen,et al. DART: directed automated random testing , 2005, PLDI '05.
[3] Etsi Tc-Mts. Methods for Testing and Specification (MTS); Protocol and profile conformance testing specifications; Standardization methodology , 1995 .
[4] Leonardo de Moura,et al. Automated Test Generation with SAL , 2005 .
[5] Hong Zhu,et al. Software unit test coverage and adequacy , 1997, ACM Comput. Surv..
[6] S. Ramesh,et al. AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems , 2008, CAV.
[7] Rajeev Alur,et al. Symbolic analysis for improving simulation coverage of Simulink/Stateflow models , 2008, EMSOFT '08.
[8] Michael D. Ernst,et al. Feedback-Directed Random Test Generation , 2007, 29th International Conference on Software Engineering (ICSE'07).
[9] Shaoying Liu,et al. Generating test data from state‐based specifications , 2003, Softw. Test. Verification Reliab..
[10] Rupak Majumdar,et al. Hybrid Concolic Testing , 2007, 29th International Conference on Software Engineering (ICSE'07).
[11] Insup Lee,et al. Robust Test Generation and Coverage for Hybrid Systems , 2007, HSCC.
[12] Debra J. Richardson,et al. Specification-based test oracles for reactive systems , 1992, International Conference on Software Engineering.
[13] Rance Cleaveland,et al. An Instrumentation-Based Approach to Controller Model Validation , 2006, ASWSD.