SYMBION: Interleaving Symbolic with Concrete Execution

Fabio Gritti, Lorenzo Fontana, Eric Gustafson, Fabio Pagani, Andrea Continella, Christopher Kruegel, Giovanni Vigna

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Fingerprint Dive into the research topics of 'SYMBION: Interleaving Symbolic with Concrete Execution'. Together they form a unique fingerprint.

Engineering & Materials Science