Model-based fault injection for testing gray-box systems

DOI10.1016/J.JLAMP.2018.10.003zbMath1417.68025OpenAlexW2898972976WikidataQ128975343 ScholiaQ128975343MaRDI QIDQ1734510

Wojciech Mostowski

Publication date: 27 March 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38438

zbMATH Keywords

model-based testingfault injectionfault modelsrobustness testingfunctional testingmulti-purpose models

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Uses Software

• Erlang
• QuickCheck
• AUTOSAR

Cites Work

• Unnamed Item
• Unifying Input Output Conformance
• Model-Based Testing for Functional and Security Test Generation

This page was built for publication: Model-based fault injection for testing gray-box systems