Mutant Fault Injection in Functional Properties of a Model to Improve Coverage Metrics

@article{Abbasinasab2011MutantFI,
  title={Mutant Fault Injection in Functional Properties of a Model to Improve Coverage Metrics},
  author={A. Abbasinasab and M. Mohammadi and S. Mohammadi and S. Yanushkevich and M. Smith},
  journal={2011 14th Euromicro Conference on Digital System Design},
  year={2011},
  pages={422-425}
}
This paper proposes integrating mutation analysis into model checking to improve coverage metrics of digital circuits. In contrast to traditional mutation testing where mutant faults are generated and injected into the code description of the model, we apply a series of newly defined mutation operators directly to the model properties rather than to the model code. We claim that any mutant properties that are generated from the initial properties and validated by the model checker should be… Expand
2 Citations
Mutation Testing Based Evaluation of Formal Verification Tools
  • 1
VIRTUALIZED HARDWARE ENVIRONMENTS FOR SUPPORTING DIGITAL I & C VERIFICATION
  • 2
  • PDF

References

SHOWING 1-10 OF 20 REFERENCES
Formal verification in hardware design: a survey
  • 284
Formal methods: state of the art and future directions
  • 1,481
  • PDF
Model Checking
  • 5,609
  • PDF
A prototype of a VHDL-based fault injection tool: description and application
  • 58
A Functional Fault Model with Implicit Fault Effect Propagation Requirements
  • 5
Hardware Specification with Temporal Logic: An Example
  • G. Bochmann
  • Computer Science
  • IEEE Transactions on Computers
  • 1982
  • 103
  • PDF
Symbolic Model Checking
  • 2,052
  • PDF
Advanced Formal Verification
  • 100
Comprehensive Functional Verification: The Complete Industry Cycle
  • 116
  • Highly Influential
Fault Injection for Dependability Validation: A Methodology and Some Applications
  • 600
...
1
2
...