Andreas Holzer

Address:
Technische Universität Wien
Institut für Informationssysteme 184/4
Andreas Holzer
Favoritenstraße 9–11
1040 Wien
Austria

Room:	HD0313 (how to get there)
Phone:	+43 (1) 58801 – 18467
Email:	ta.etysrofnull@rezloh
Web:	http://forsyte.at/~holzer/

curriculum vitae

Student Projects

I’m offering student projects, see Teaching.

Publications

2011
[12]	An Introduction to Test Specification in FQL Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut VeithIn Proceedings of 6th International Haifa Verification Conference (HVC 2011) (Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz, eds.), volume 6504 of Lecture Notes in Computer Science, pages 9-22, October 2011.Springer [bib]
[11]	Seamless Testing for Models and Code Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut VeithIn Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011), volume 6603 of Lecture Notes in Computer Science, pages 278-293, April 2011.Springer [bib]
2010
[10]	Timely Time Estimates Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael TautschnigIn Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010) (Tiziana Margaria, Bernhard Steffen, eds.), volume 6415 of Lecture Notes in Computer Science, pages 33-46, October 2010.Springer [bib] [doi]
[9]	How did you specify your test suite ? Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut VeithIn Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), pages 407-416, September 2010.ACM [bib]
2009
[8]	Slope Testing for Activity Diagrams and Safety Critical Software Andreas Holzer, Visar Januzaj, Stefan Kugele, Christian Schallhart, Michael Tautschnig, Helmut Veith, Boris LangerOctober 2009.Technical report, Technische Universität Darmstadt [bib]
[7]	A Precise Specification Framework for White Box Program Testing Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut VeithSeptember 2009.Technical report, Technische Universität Darmstadt [bib]
[6]	Query-Driven Program Testing Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut VeithIn Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009) (Neil D. Jones, Markus Müller-Olm, eds.), volume 5403 of Lecture Notes in Computer Science, pages 151-166, January 2009.Springer [bib]
[5]	Towards Resource Consumption-Aware Programming Andreas Holzer, Visar Januzaj, Stefan KugeleIn , volume 0, pages 490-493, 2009.IEEE Computer Society [bib] [doi]
[4]	Dependency Coverage Criteria with FQL Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith2009.Technical report, Technische Universität Darmstadt [bib]
2008
[3]	Query-Driven Program Testing Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut VeithOctober 2008.Technical report, Technische Universität Darmstadt [bib]
[2]	FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut VeithIn Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), volume 5123 of Lecture Notes in Computer Science, pages 209-213, July 2008.Springer [bib]
2007
[1]	Using Verification Technology to Specify and Detect Malware Andreas Holzer, Johannes Kinder, Helmut VeithIn 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007), volume 4739 of Lecture Notes in Computer Science, pages 497-504, 2007.Springer [bib]

Powered by bibtexbrowser

Uni-Finanzierung als Absurdes Theater (Der Standard)

March 28, 2012

An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. [...]

[Read More...]