Mutation-Based Test Case Generation for Simulink Models

DOI10.1007/978-3-642-17071-3_11MaRDI QIDQ3066126zbMATH OpenOpenAlexWikidataFDO

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

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)

Recommendations

• Model-Based Mutation Testing of Reactive Systems
• scientific article; zbMATH DE number 1949626
• scientific article; zbMATH DE number 2102699

Cites work

• scientific article; zbMATH DE number 1953274 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Formal Methods for Components and Objects
• Formal verification of square root algorithms
• Graph-Based Algorithms for Boolean Function Manipulation
• Interpolation and SAT-based model checking.
• Programming Languages and Systems
• Query-Driven Program Testing
• Theory and Applications of Satisfiability Testing

Cited in

(3)

• On checking equivalence of simulation scripts
• Enforcing group structure through the group fused lasso
• Model-Based Mutation Testing of Reactive Systems

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066126)