Andreas Holzer

	2012
9		Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith: Proving Reachability Using FShell - (Competition Contribution). TACAS 2012: 538-541
	2011
8		Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Seamless Testing for Models and Code. FASE 2011: 278-293
	2010
7		Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: How did you specify your test suite. ASE 2010: 407-416
6		Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith: An Introduction to Test Specification in FQL. Haifa Verification Conference 2010: 9-22
5		Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig: Timely Time Estimates. ISoLA (1) 2010: 33-46
	2009
4		Andreas Holzer, Visar Januzaj, Stefan Kugele: Towards Resource Consumption-Aware Programming. ICSEA 2009: 490-493
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	Visar Januzaj	[4] [5] [8]
2	Johannes Kinder	[1]
3	Daniel Kroening (Daniel Kröning)	[9]
4	Stefan Kugele	[4] [5] [8]
5	Boris Langer	[8]
6	Christian Schallhart	[2] [3] [6] [7] [8] [9]
7	Michael Tautschnig	[2] [3] [5] [6] [7] [8] [9]
8	Helmut Veith	[1] [2] [3] [6] [7] [8] [9]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page