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
Software
Activities
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