"Dynamic symbolic execution for polymorphism."

Lian Li, Yi Lu, Jingling Xue (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics