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 × Canada
Collaborated with:
O.S.Dustmann C.Cadar D.Schemmel R.Sasnauskas J.Büning T.N.0001 D.Liew A.F.Donaldson R.Zähl
Talks about:
symbol (4) system (2) execut (2) distribut (1) version (1) softwar (1) program (1) analysi (1) theori (1) solver (1)

Person: Klaus Wehrle

DBLP DBLP: Wehrle:Klaus

Contributed to:

ICST 20122012
ASE 20172017
ASE 20182018
CAV (2) 20182018

Wrote 4 papers:

ICST-2012-DustmannSW #distributed #testing
Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.
ASE-2017-LiewSCDZW #case study #execution #float #programming #symbolic computation
Floating-point symbolic execution: a case study in n-version programming (DL, DS, CC, AFD, RZ, KW), pp. 601–612.
ASE-2018-DustmannWC #execution #multi #named #symbolic computation
PARTI: a multi-interval theory solver for symbolic execution (OSD, KW, CC), pp. 430–440.
CAV-2018-SchemmelBDNW #analysis #liveness
Symbolic Liveness Analysis of Real-World Software (DS, JB, OSD, TN0, KW), pp. 447–466.

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.