| 2010 | ICST | When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. | Elisabeth Jbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa |
| 2010 | SEFM | Synthesize It: From Design by Contract to Meaningful Test Input Data. | Stefan J. Galler, Martin Weiglhofer, Franz Wotawa |
| 2009 | COMPSAC | Asynchronous Input-Output Conformance Testing. | Martin Weiglhofer, Franz Wotawa |
| 2008 | ENASE | Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing Methods. | Martin Weiglhofer, Franz Wotawa |
| 2008 | SEKE | Using Observer Automata to Select Test Cases for Test Purposes. | Gordon Fraser, Martin Weiglhofer, Franz Wotawa |
| 2007 | CAV | Anzu: A Tool for Property Synthesis. | Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem |
| 2007 | DATE | Interactive presentation: Automatic hardware synthesis from specifications: a case study. | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |
| 2007 | GI | Executing Abstract Test Cases. | Bernhard Peischl, Martin Weiglhofer, Franz Wotawa |
| 2007 | SEFM | Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. | Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa |