dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michael Tautschnig (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith: Proving Reachability Using FShell - (Competition Contribution). TACAS 2012: 538-541
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Seamless Testing for Models and Code. FASE 2011: 278-293
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: How did you specify your test suite. ASE 2010: 407-416
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith: An Introduction to Test Specification in FQL. Haifa Verification Conference 2010: 9-22
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Query-Driven Program Testing. VMCAI 2009: 151-166
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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 TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page