Computing Mutation Coverage in Interpolation-Based Model Checking

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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE transactions on computer-aided design of integrated circuits and systems 2012-05, Vol.31 (5), p.765-778
Hauptverfasser:	Chockler, H., Kroening, D., Purandare, M.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithm design and analysis Algorithms Checkers Computation Computational modeling Coverage Design engineering Integrated circuit modeling Interpolation Invariants Measurement model checking Radiation detectors Registers Specifications
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!