Test purpose generation in an industrial application. - Bernhard K. Aichernig; Martin Weiglhofer; Bernhard Peischl; Franz Wotawa (A-MOST, 2007)

Anzu: A Tool for Property Synthesis. - Barbara Jobstmann; Stefan J. Galler; Martin Weiglhofer; Roderick Bloem (CAV, 2007)

Interactive presentation: Automatic hardware synthesis from specifications: a case study. - Roderick Bloem; Stefan J. Galler; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Martin Weiglhofer (DATE, 2007)

Executing Abstract Test Cases. - Bernhard Peischl; Martin Weiglhofer; Franz Wotawa (GI Jahrestagung (2), 2007)

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. - Bernhard K. Aichernig; Bernhard Peischl; Martin Weiglhofer; Franz Wotawa (SEFM, 2007)

Specify, Compile, Run: Hardware from PSL. - Roderick Bloem; Stefan J. Galler; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Martin Weiglhofer (COCV@ETAPS, 2007)

Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing Methods. - Martin Weiglhofer; Franz Wotawa (ENASE, 2008)

A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots. - Gerhard Gubisch; Gerald Steinbauer; Martin Weiglhofer; Franz Wotawa (IEA/AIE, 2008)

Coverage Based Testing with Test Purposes. - Gordon Fraser 001; Martin Weiglhofer; Franz Wotawa (QSIC, 2008)

Using Observer Automata to Select Test Cases for Test Purposes. - Gordon Fraser 001; Martin Weiglhofer; Franz Wotawa (SEKE, 2008)

Unifying Input Output Conformance. - Martin Weiglhofer; Bernhard K. Aichernig (UTP, 2008)

Improving Fault-based Conformance Testing. - Bernhard K. Aichernig; Martin Weiglhofer; Franz Wotawa (MBT@ETAPS, 2008)

Asynchronous Input-Output Conformance Testing. - Martin Weiglhofer; Franz Wotawa (COMPSAC (1), 2009)

Using Spectrum-Based Fault Localization for Test Case Grouping. - Martin Weiglhofer; Gordon Fraser 001; Franz Wotawa (ASE, 2009)

Improving Coverage Based Test Purposes. - Martin Weiglhofer; Franz Wotawa (QSIC, 2009)

Fault-Based Conformance Testing in Practice. - Martin Weiglhofer; Bernhard K. Aichernig; Franz Wotawa (Int. J. Softw. Informatics, 2009)

Using coverage to automate and improve test purpose based testing. - Martin Weiglhofer; Gordon Fraser 001; Franz Wotawa (Inf. Softw. Technol., 2009)

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. - Elisabeth Jöbstl; Martin Weiglhofer; Bernhard K. Aichernig; Franz Wotawa (ICST, 2010)

Automated Conformance Verification of Hybrid Systems. - Harald Brandl; Martin Weiglhofer; Bernhard K. Aichernig (QSIC, 2010)

Synthesize It: From Design by Contract to Meaningful Test Input Data. - Stefan J. Galler; Martin Weiglhofer; Franz Wotawa (SEFM, 2010)

The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. - Stefan J. Galler; Thomas Quaritsch; Martin Weiglhofer; Franz Wotawa (QSIC, 2011)