Synthesis of wiring signature-invariant equivalence class circuit mutants and applications to benchmarking | IEEE Conference Publication | IEEE Xplore