9 papers:
TACAS-2015-DuggiralaMVP #modelling #named #verification- C2E2: A Verification Tool for Stateflow Models (PSD, SM, MV, MP), pp. 68–82.
ESEC-FSE-2015-MatinnejadNBB #effectiveness #testing- Effective test suites for mixed discrete-continuous stateflow controllers (RM, SN, LCB, TB), pp. 84–95.
DAC-2014-SampathRR #c #validation- Translation Validation for Stateflow to C (PS, ACR, SR), p. 6.
CASE-2013-LiK #automation #generative #novel #reachability #reduction #testing- Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
- CASE-2012-LiK #automation #automaton #finite #generative #modelling #testing #using
- Model-based automatic test generation for Simulink/Stateflow using extended finite automaton (ML, RK), pp. 857–862.
DATE-2012-PeranandamRSYGR #generative #modelling #testing- An integrated test generation tool for enhanced coverage of Simulink/Stateflow models (PP, SR, MS, AY, AAG, SR), pp. 308–311.
CAV-2009-KanadeAIRSS #generative #modelling- Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (AK, RA, FI, SR, SS, KCS), pp. 430–445.
SEKE-2007-ZhouKBSC #framework #requirements #specification- A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules (CZ, RK, DB, KS, DDC), pp. 179–184.
FASE-2004-HamonR #semantics- An Operational Semantics for Stateflow (GH, JMR), pp. 229–243.
