Mutation-Based Test Case Generation for Simulink Models

DOI10.1007/978-3-642-17071-3_11zbMath1312.68130OpenAlexW2133350402WikidataQ62040468 ScholiaQ62040468MaRDI QIDQ3066126

Daniel Kroening, Philipp Rümmer, Georg Weissenbacher, Mitra Purandare, Nan-Nan He, Michele Mazzucchi, Angelo Brillout

Publication date: 8 January 2011

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17071-3_11

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (1)

On checking equivalence of simulation scripts

Uses Software

• Matlab
• MiniSat
• Simulink
• AutoMOTGen
• CBMC
• ASTREE
• FShell

Cites Work

• Unnamed Item
• Formal verification of square root algorithms
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Query-Driven Program Testing
• Graph-Based Algorithms for Boolean Function Manipulation
• Programming Languages and Systems
• Theory and Applications of Satisfiability Testing
• Automated Technology for Verification and Analysis
• Formal Methods for Components and Objects
• Computer Aided Verification

This page was built for publication: Mutation-Based Test Case Generation for Simulink Models