| |
| 2009 | ||
|---|---|---|
| 3 | EE | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Query-Driven Program Testing. VMCAI 2009: 151-166 |
| 2008 | ||
| 2 | EE | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213 |
| 2007 | ||
| 1 | EE | Andreas Holzer, Johannes Kinder, Helmut Veith: Using Verification Technology to Specify and Detect Malware. EUROCAST 2007: 497-504 |
| 1 | Johannes Kinder | [1] |
| 2 | Christian Schallhart | [2] [3] |
| 3 | Michael Tautschnig | [2] [3] |
| 4 | Helmut Veith | [1] [2] [3] |