Andreas Holzer (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Query-Driven Program Testing. VMCAI 2009: 151-166

2 Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213

1 Andreas Holzer, Johannes Kinder, Helmut Veith: Using Verification Technology to Specify and Detect Malware. EUROCAST 2007: 497-504

Selection of 3 from 3 records - Andreas Holzer has 4 coauthors

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