Nathan Sheeley, Nicolas Pena, Irfan Waheed, Mark Nodine. Enhancing Sequential LEC Using a Cumulative Verification Methodology. In Ninth International Workshop on Microprocessor Test and Verification, MTV 2008, Austin, Texas, USA, 8-10 December 2008. pages 39-42, IEEE Computer Society, 2008. [doi]
Abstract is missing.