mutation testing

March 28, 2017

Are you testing your test?

Using formal core coverage to understand the effectiveness of formal coverage verification strategies in SoC design.