Journal article
Computing mutation coverage in interpolation-based model checking
- Abstract:
-
—Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testing, but is very difficult to compute in the context of formal verification. We present efficient algorithms for identifying those parts of the system that are covered by a given property. Our algorithm is integrated into state-of-the-art Boolean satisfiability problem-based model checking using Craig interpolation. Th...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Accepted manuscript, pdf, 888.3KB)
-
- Publisher copy:
- 10.1109/TCAD.2011.2180382
Authors
Bibliographic Details
- Publisher:
- Institute of Electrical and Electronics Engineers Publisher's website
- Journal:
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Journal website
- Volume:
- 31
- Issue:
- 5
- Pages:
- 765-778
- Publication date:
- 2012-05-01
- DOI:
- EISSN:
-
1937-4151
- ISSN:
-
0278-0070
- Source identifiers:
-
328136
Item Description
- Keywords:
- Pubs id:
-
pubs:328136
- UUID:
-
uuid:4a951a6f-4201-4912-b97e-48fc1c192a55
- Local pid:
- pubs:328136
- Deposit date:
- 2017-01-28
Terms of use
- Copyright holder:
- IEEE
- Copyright date:
- 2012
- Notes:
- © 2012 IEEE. This is the accepted manuscript version of the article. The final version is available online from IEEE at: 10.1109/TCAD.2011.2180382
If you are the owner of this record, you can report an update to it here: Report update to this record