| 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.