System testing via mutation analysis of model checking specifications

Authors:
Paul Ammann
Affiliations:
George Mason University, Fairfax VA
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2000

Citing 2
Cited 0

A Specification-Based Coverage Metric to Evaluate Test Sets

HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Using Model Checking to Generate Tests from Specifications

ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods

Quantified Score

Hi-index	0.02

Visualization

Abstract