Travelled to:1 × Germany
1 × Italy
1 × New Zealand
1 × USA
2 × France
2 × United Kingdom
Collaborated with:F.Wotawa B.K.Aichernig S.J.Galler G.Fraser B.Jobstmann R.Bloem B.Peischl N.Piterman A.Pnueli E.Jöbstl
Talks about:test (8) conform (3) case (3) synthesi (2) industri (2) hardwar (2) purpos (2) applic (2) fault (2) base (2)
Person: Martin Weiglhofer
DBLP: Weiglhofer:Martin
Contributed to:
2010
2010
2009
2008
2008
2007
2007
2007
20072007Wrote 10 papers:
- ICST-2010-JobstlWAW #consistency #execution #smt #symbolic computation #testing
- When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.
- SEFM-2010-GallerWW #contract #design
- Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.
- ASE-2009-WeiglhoferFW #fault #locality #testing #using
- Using Spectrum-Based Fault Localization for Test Case Grouping (MW, GF, FW), pp. 630–634.
- MBT-2008-AichernigWW #consistency #testing
- Improving Fault-based Conformance Testing (BKA, MW, FW), pp. 63–77.
- SEKE-2008-FraserWW #automaton #testing #using
- Using Observer Automata to Select Test Cases for Test Purposes (GF, MW, FW), pp. 709–714.
- A-MOST-2007-AichernigWPW #generative #industrial
- Test purpose generation in an industrial application (BKA, MW, BP, FW), pp. 115–125.
- CAV-2007-JobstmannGWB #named #synthesis
- Anzu: A Tool for Property Synthesis (BJ, SJG, MW, RB), pp. 258–262.
- COCV-2007-BloemGJPPW #hardware
- Specify, Compile, Run: Hardware from PSL (RB, SJG, BJ, NP, AP, MW), pp. 3–16.
- DATE-2007-BloemGJPPW #automation #case study #hardware #interactive #specification #synthesis
- Interactive presentation: Automatic hardware synthesis from specifications: a case study (RB, SJG, BJ, NP, AP, MW), pp. 1188–1193.
- SEFM-2007-AichernigPWW #consistency #formal method #industrial #protocol #testing
- Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods (BKA, BP, MW, FW), pp. 215–226.