Andreas Holzer

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

Coauthor Index

1	Johannes Kinder	[1]
2	Christian Schallhart	[2] [3]
3	Michael Tautschnig	[2] [3]
4	Helmut Veith	[1] [2] [3]