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.