Reproducing non-deterministic bugs with lightweight recording in production environments | IEEE Conference Publication | IEEE Xplore