Michael Tautschnig. FQL: A Query Language for Program Testing. Joint meeting of Quality Software Engineering and FORSYTE groups, March 2010. talk. [ bib ]

 

Michael Tautschnig. FQL: A Query Language for Program Testing. IST / TU Rigorous Systems Engineering Seminar, March 2010. talk. [ bib ]

 

Michael Tautschnig. Tools for Concurrency and Distributed Systems. RiSE Workshop, February 2010. talk. [ bib ]

 

Michael Tautschnig. FQL: A Query Language for Program Testing. Joint meeting of Tom Henzinger's group and FORSYTE, January 2010. talk. [ bib ]

 

Michael Tautschnig. FQL: A Query Language for Program Testing. 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09), October 2009. talk. [ bib ]

 

Michael Tautschnig. Query-Driven Program Testing. Joint meeting of groups from Oxford, ETH Zürich, and FORSYTE, April 2009. talk. [ bib ]

 

Michael Tautschnig. FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. Alpine Verification Meeting, May 2008. talk. [ bib ]

 

Michael Tautschnig. A Query Language for Programs. i7@Bodenmais, July 2007. talk. [ bib ]

 

Michael Tautschnig. Satisfiability Modulo Theories: ABsolver. Joint meeting DTU-TUM, May 2007. talk. [ bib | .pdf ]

This file was generated by bibtex2html 1.99.