Guided model checking for programs with polymorphism.

Neha Rungta, Eric G. Mercer

Browse the full PEPM paper archive.