Dynamic symbolic execution for polymorphism.

Lian Li, Yi Lu, Jingling Xue

Browse the full CC paper archive.