Simulation-based bug trace minimization with BMC-based refinement | IEEE Conference Publication | IEEE Xplore