Andreas Holzer

[ Contact Software Activities Publications CV ]

I am a postdoc in the group of Prof. Azadeh Farzan at the University of Toronto. I am funded by the Austrian Research Fund (FWF) via the Erwin Schroedinger Fellowship J3696-N26 "Systematic Testing of Concurrent Software". My current areas of research are:

Systematic Automated Testing
Semantics of Concurrent Data Structures
Automated Fault Explanation
Automated Bug Fixing
Compiler Construction for Secure Two-Party Computations

I obtained my PhD at the Vienna University of Technology under the supervision of Prof. Helmut Veith. I was also a postdoc in his group and in the group of Prof. Christoph Kirsch at the University of Salzburg. For more information see my CV (January 2016).

Contact

Email: aholzer [at] cs [dot] toronto [dot] edu

Follow @AndreasHolzer81

Software

Activities

I am PC member of ACISP'16.
I am PC member of the CAV'15 Artifact Evaluation.
I co-organized the PETShop'13 workshop.

Publications

2015

Closure Properties and Complexity of Rational Sets of Regular Languages. Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. Theor. Comp. Sci. 605:62-79 (2015)
Facilitating Reuse in Multi-Goal Test-Suite Generation for Software Product Lines. Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer. FASE'15
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. Azadeh Farzan, Andreas Holzer, Helmut Veith. ICST'15
Compilation for Secure Two-Party Computations. Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith. SE&M'15

2014

CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith. CC'14
Reusing Information in Multi-Goal Reachability Analyses. Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith. SE'14
Concolic Testing of Concurrent Programs. Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith. SE'14

2013

Con2colic testing. Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith. FSE'13
Information Reuse for Multi-goal Reachability Analyses. Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith. ESOP'13
On the Structure and Complexity of Rational Sets of Regular Languages. Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. FSTTCS'13
Solving Constraints for Generational Search. Daniel Pötzl, Andreas Holzer. TAP'13
Challenges in compiler construction for secure two-party computation. Andreas Holzer, Nikolaos P. Karvelas, Stefan Katzenbeisser, Helmut Veith, Martin Franz. PETShop'13
The first workshop on language support for privacy-enhancing technologies (PETShop'13). Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith. CCS'13

2012

Secure Two-party Computations in ANSI C. Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith. CCS'12
Vinter: A Vampire-Based Tool for Interpolation. Kryštof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov. APLAS'12
Bounded-Interference Sequentialization for Testing Concurrent Programs. Niloofar Razavi, Azadeh Farzan, Andreas Holzer. ISoLA'12
Proving Reachability Using FShell - (Competition Contribution). Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith. TACAS'12

2011

Seamless Testing for Models and Code. Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith. FASE'11
An Introduction to Test Specification in FQL. Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. HVC'11

2010

How did you specify your test suite?. Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. ASE'10
Timely Time Estimates. Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig. ISoLA'10

2009

Query-Driven Program Testing. Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. VMCAI'09
Towards Resource Consumption-Aware Programming. Andreas Holzer, Visar Januzaj, Stefan Kugele. ICSEA'09

2008

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. CAV'08

2007

Using Verification Technology to Specify and Detect Malware. Andreas Holzer, Johannes Kinder, Helmut Veith. EUROCAST'07