A Case for Compressing Traces with BDDs | IEEE Journals & Magazine | IEEE Xplore