| Title: | Computing Mutation Coverage in Interpolation-based Model Checking |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Hana Chockler |
| Daniel Kroening EMail | |
| Mitra Purandare | |
| Remarks: | |
| Topics: |
Bibtex:
@article{ckp2012-tcad,
AUTHOR = { Chockler, Hana
and Kroening, Daniel
and Purandare, Mitra },
TITLE = { Computing Mutation Coverage in Interpolation-based Model Checking },
YEAR = { 2012 },
PAGES = { 765--778 },
JOURNAL = { IEEE Transactions on CAD (TCAD) },
VOLUME = { 31 },
ISSUE = { 5 },
MONTH = { May },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.