Title: | Mutation-based Test Case Generation for Simulink Models |
---|---|
Links: | Homepage Document as PDF |
Authors: | Angelo Brillout |
Nannan He | |
Michele Mazzucchi | |
Daniel Kroening EMail | |
Mitra Purandare | |
Philipp Rümmer | |
Georg Weissenbacher | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{fmco2009, AUTHOR = { Brillout, Angelo and He, Nannan and Mazzucchi, Michele and Kroening, Daniel and Purandare, Mitra and R{\"u}mmer, Philipp and Weissenbacher, Georg }, TITLE = { Mutation-based Test Case Generation for {Simulink} Models }, BOOKTITLE = { Formal Methods for Components and Objects (FMCO) 2009 }, YEAR = { 2010 }, PUBLISHER = { Springer }, PAGES = { 208--227 }, SERIES = { LNCS }, VOLUME = { 6286 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.