Mining mutation testing simulation traces for security and testbench debugging | IEEE Conference Publication | IEEE Xplore