Brian Keng, Andreas G. Veneris, Sean Safarpour. An Automated Framework for Correction and Debug of PSL Assertions. In Magdy S. Abadir, Jay Bhadra, Li-C. Wang, editors, 11th International Workshop on Microprocessor Test and Verification, MTV 2010, Austin, TX, USA, December 13-15, 2010. pages 9-12, IEEE, 2010. [doi]
Abstract is missing.