Journal article icon

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
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1109/TCAD.2011.2180382

Authors


More by this author
Department:
Oxford, MPLS, Computer Science
Role:
Author
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
Pubs id:
pubs:328136
URN:
uri:4a951a6f-4201-4912-b97e-48fc1c192a55
UUID:
uuid:4a951a6f-4201-4912-b97e-48fc1c192a55
Local pid:
pubs:328136
Paper number:
5
Keywords:

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP