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 × India
1 × Ireland
1 × USA
2 × France
Collaborated with:
M.Christakis P.Müller K.R.M.Leino K.Ferles I.Dillig A.Bugariu P.M.0001 V.Klebanov N.Shankar G.T.Leavens E.Alkassar R.Arthan D.Bronish R.Chapman E.Cohen M.A.Hillebrand B.Jacobs R.Monahan F.Piessens N.Polikarpova T.Ridge J.Smans S.Tobies T.Tuerk M.Ulbrich B.Weiß
Talks about:
test (3) program (2) verif (2) experiment (1) parameter (1) implement (1) explicit (1) competit (1) collabor (1) abstract (1)

Person: Valentin Wüstholz

DBLP DBLP: W=uuml=stholz:Valentin

Contributed to:

CAV 20152015
VMCAI 20152015
SEFM 20142014
FM 20122012
FM 20112011
ESEC/FSE 20172017
ASE 20182018

Wrote 7 papers:

CAV-2015-LeinoW #fine-grained #verification
Fine-Grained Caching of Verification Results (KRML, VW), pp. 380–397.
VMCAI-2015-Christakis0W #evaluation
An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer (MC, PM, VW), pp. 336–354.
SEFM-2014-ChristakisMW #detection #invariant #testing
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.
FM-2012-ChristakisMW #collaboration #testing #verification
Collaborative Verification and Testing with Explicit Assumptions (MC, PM, VW), pp. 132–146.
FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
Failure-directed program trimming (KF, VW, MC, ID), pp. 174–185.
ASE-2018-BugariuWC0 #abstract domain #automation #implementation #testing
Automatically testing implementations of numerical abstract domains (AB, VW, MC, PM0), pp. 768–778.

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.