July 1, 2016

OPTIMIZING PROGRAM PERFORMANCE WITH ASSERTION MANAGEMENT