Injecting faults and mutating programs - towards a uniform method?
This paper shows a method for modeling fault injection environments and mutations in a uniform way. When modeling mutations, the method seems to support even the execution.
What I like about this paper is the fact that they try to use the same method for both injections and mutations. What is still to be done is the validation. Of this approach in an industrial context. Let us wait for that...