BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Weiglhofer:Martin

Contributed to:

ICST 20102010
SEFM 20102010
ASE 20092009
MBT 20082008
SEKE 20082008
A-MOST 20072007
CAV 20072007
COCV 20072007
DATE 20072007
SEFM 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.