How common is mutation testing in safely critical applications? I wonder if requiring a high mutation testing coverage would be more effective than adhering to misra C. (Though this seems like a ¿Por Qué No Los Dos? situation)

https://en.m.wikipedia.org/wiki/Mutation_testing https://pitest.org/quickstart/mutators/