Handling State-Machines Specifications with GATeL
暂无分享,去创建一个
[1] Fabrice Bouquet,et al. CLPS–B – A constraint solver to animate a B specification , 2004, International Journal on Software Tools for Technology Transfer.
[2] Bruno Marre,et al. Test Selection Strategies for Lustre Descriptions in GATeL , 2005, Electron. Notes Theor. Comput. Sci..
[3] Shaoying Liu,et al. Generating test data from state‐based specifications , 2003, Softw. Test. Verification Reliab..
[4] Amar Bouali,et al. Formal Verification for Model-Based Development , 2005 .
[5] Philippe Herrmann,et al. Structural Testing of Executables , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.
[6] Stavros Tripakis,et al. From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications , 2003 .
[7] Arnaud Gotlieb,et al. Automatic test data generation using constraint solving techniques , 1998, ISSTA '98.
[8] Nicolas Halbwachs,et al. LUSTRE: a declarative language for real-time programming , 1987, POPL '87.
[9] Marc Pouzet,et al. A conservative extension of synchronous data-flow with state machines , 2005, EMSOFT.
[10] Bruno Marre,et al. PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis , 2005, EDCC.
[11] Koushik Sen,et al. CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.
[12] Stavros Tripakis,et al. Defining and translating a "safe" subset of simulink/stateflow into lustre , 2004, EMSOFT '04.
[13] Marc Pouzet,et al. Clocks as First Class Abstract Types , 2003, EMSOFT.
[14] Nicolas Halbwachs,et al. Counter-example generation in symbolic abstract model-checking , 2004, International Journal on Software Tools for Technology Transfer.
[15] Nicolas Halbwachs,et al. LUSTRE: A declarative language for programming synchronous systems* , 1987 .
[16] Bruno Marre,et al. Test sequences generation from LUSTRE descriptions: GATEL , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
[17] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.
[18] Pascal Van Hentenryck,et al. CPBPV: a constraint-programming framework for bounded program verification , 2009, Constraints.
[19] Mary Sheeran,et al. Checking Safety Properties Using Induction and a SAT-Solver , 2000, FMCAD.
[20] Marc Pouzet,et al. Type-based initialization analysis of a synchronous dataflow language , 2004, International Journal on Software Tools for Technology Transfer.
[21] Pascal Van Hentenryck,et al. CPBPV: A Constraint-Programming Framework for Bounded Program Verification , 2008, CP.
[22] Florence Maraninchi,et al. Mode-Automata: About Modes and States for Reactive Systems , 1998, ESOP.