| 2009 |
|---|
| 4 | EE | Dries Vanoverberghe,
Nikolai Tillmann,
Frank Piessens:
Test Input Generation for Programs with Pointers.
TACAS 2009: 277-291 |
| 2008 |
|---|
| 3 | EE | Dries Vanoverberghe,
Frank Piessens:
A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.
FMOODS 2008: 240-258 |
| 2 | EE | Dries Vanoverberghe,
Nikolaj Bjørner,
Jonathan de Halleux,
Wolfram Schulte,
Nikolai Tillmann:
Using Dynamic Symbolic Execution to Improve Deductive Verification.
SPIN 2008: 9-25 |
| 2007 |
|---|
| 1 | EE | Lieven Desmet,
Wouter Joosen,
Fabio Massacci,
Katsiaryna Naliuka,
Pieter Philippaerts,
Frank Piessens,
Dries Vanoverberghe:
A flexible security architecture to support third-party applications on mobile devices.
CSAW 2007: 19-28 |
