Mutation Testing

Mutation testing refers to changing the verified code in a way that is likely to cause a bug, and then checking that the modified code does not pass verification. Learn more about how Certora uses mutation testing here.