Automatic test case generation from Simulink/Stateflow models using model checking
- 22 January 2013
- journal article
- research article
- Published by Wiley in Software Testing, Verification and Reliability
- Vol. 24 (2), 155-180
- https://doi.org/10.1002/stvr.1489
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- SimCheck: a contract type system for SimulinkInnovations in Systems and Software Engineering, 2011
- Conformance Testing of Hybrid Systems with Qualitative Reasoning ModelsElectronic Notes in Theoretical Computer Science, 2009
- Testing with model checkers: a surveySoftware Testing, Verification and Reliability, 2008
- Model-Based Testing of Object-Oriented Reactive Systems with Spec ExplorerPublished by Springer Science and Business Media LLC ,2008
- Translating discrete-time simulink to lustreACM Transactions on Embedded Computing Systems, 2005
- Specifying and Generating Test Cases Using Observer AutomataLecture Notes in Computer Science, 2005
- Counterexample-guided abstraction refinement for symbolic model checkingJournal of the ACM, 2003
- Fault classes and error detection capability of specification-based testingACM Transactions on Software Engineering and Methodology, 1999
- Applicability of modified condition/decision coverage to software testingSoftware Engineering Journal, 1994
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991