Martin Weiglhofer

21 papers A* 2A 2B 3C 2Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2011 — conf
The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking.
QSIC
Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa
2010 — conf
Automated Conformance Verification of Hybrid Systems.
QSIC
Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig
2010 B conf
Synthesize It: From Design by Contract to Meaningful Test Input Data.
SEFM
Stefan J. Galler, Martin Weiglhofer, Franz Wotawa
2010 A conf
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.
ICST
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa
2009 — conf
Asynchronous Input-Output Conformance Testing.
COMPSAC (1)
Martin Weiglhofer, Franz Wotawa
2009 J jnl
Fault-Based Conformance Testing in Practice.
Int. J. Softw. Informatics
Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa
2009 — conf
Improving Coverage Based Test Purposes.
QSIC
Martin Weiglhofer, Franz Wotawa
2009 A* conf
Using Spectrum-Based Fault Localization for Test Case Grouping.
ASE
Martin Weiglhofer, Gordon Fraser, Franz Wotawa
2009 J jnl
Using coverage to automate and improve test purpose based testing.
Inf. Softw. Technol.
Martin Weiglhofer, Gordon Fraser, Franz Wotawa
2008 C conf
A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots.
IEA/AIE
Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, Franz Wotawa
2008 — conf
Coverage Based Testing with Test Purposes.
QSIC
Gordon Fraser, Martin Weiglhofer, Franz Wotawa
2008 — conf
Improving Fault-based Conformance Testing.
MBT@ETAPS
Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa
2008 B conf
Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing Methods.
ENASE
Martin Weiglhofer, Franz Wotawa
2008 — conf
Unifying Input Output Conformance.
UTP
Martin Weiglhofer, Bernhard K. Aichernig
2008 C conf
Using Observer Automata to Select Test Cases for Test Purposes.
SEKE
Gordon Fraser, Martin Weiglhofer, Franz Wotawa
2007 A* conf
Anzu: A Tool for Property Synthesis.
CAV
Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem
2007 — conf
Executing Abstract Test Cases.
GI Jahrestagung (2)
Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
2007 A conf
Interactive presentation: Automatic hardware synthesis from specifications: a case study.
DATE
Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
2007 B conf
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.
SEFM
Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
2007 — conf
Specify, Compile, Run: Hardware from PSL.
COCV
Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
2007 — conf
Test purpose generation in an industrial application.
A-MOST
Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa