Static slack-based instrumentation of programs | IEEE Conference Publication | IEEE Xplore