"How we get there: a context-guided search strategy in concolic testing."

Hyunmin Seo, Sunghun Kim (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics