Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems

Athira V. Jayakumar, Carl R. Elks. Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems. In Marc Zeller, Kai Höfig, editors, Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings. Volume 12297 of Lecture Notes in Computer Science, pages 115-129, Springer, 2020. [doi]

Authors

Athira V. Jayakumar

This author has not been identified. Look up 'Athira V. Jayakumar' in Google

Carl R. Elks

This author has not been identified. Look up 'Carl R. Elks' in Google