Neha Rungta, Eric G. Mercer. Guided model checking for programs with polymorphism. In Germán Puebla, Germán Vidal, editors, Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. pages 21-30, ACM, 2009. [doi]
Abstract is missing.