IMITATOR: A deterministic multicore replay system with refining techniques | IEEE Conference Publication | IEEE Xplore