Efficient trace signal selection using augmentation and ILP techniques | IEEE Conference Publication | IEEE Xplore