"Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - ..."

Jiri Slaby, Jan Strejcek, Marek Trtík (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics