Mutation-Based Test Case Generation for Simulink Models
- 1 January 2010
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- Automatic Test Generation for Coverage Analysis Using CBMCLecture Notes in Computer Science, 2009
- AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control SystemsLecture Notes in Computer Science, 2008
- FShell: Systematic Test Case Generation for Dynamic Analysis and MeasurementLecture Notes in Computer Science, 2007
- Model-Based Safety Analysis of Simulink Models Using SCADE Design VerifierLecture Notes in Computer Science, 2005
- A Theory of Predicate-Complete Test Coverage and GenerationLecture Notes in Computer Science, 2005
- Hybrid System Verification Is Not a SinecureLecture Notes in Computer Science, 2004
- An Extensible SAT-solverLecture Notes in Computer Science, 2004
- Relational Abstract Domains for the Detection of Floating-Point Run-Time ErrorsLecture Notes in Computer Science, 2004
- Formal Verification of Square Root AlgorithmsFormal Methods in System Design, 2003
- Interpolation and SAT-Based Model CheckingLecture Notes in Computer Science, 2003