An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models

An investigation on mutation strategies for fault injection into RDD-100 models

“…Mainly based on the preliminary experiments we have been carrying out to assess the suitability of both tools to analyze the dependability of systems in the presence of faults [12], our work is now focused on RDD-100. This paper builds on our work reported in [9]. It is organized as follows.…”