| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 23 |       | Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith: Proving Reachability Using FShell - (Competition Contribution). TACAS 2012: 538-541 |
| 17 | | Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Seamless Testing for Models and Code. FASE 2011: 278-293 |
| 15 | | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: How did you specify your test suite. ASE 2010: 407-416 |
| 14 | | Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith: An Introduction to Test Specification in FQL. Haifa Verification Conference 2010: 9-22 |
| 11 | | Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. STTT 12(1): 23-37 (2010) |
| 9 | | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Query-Driven Program Testing. VMCAI 2009: 151-166 |
| 8 | | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213 |
| 1 |  | Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146 |
Selection of 8 from 24 records - Michael Tautschnig has 31 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page