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: W=uuml=stholz:Valentin
Contributed to:
2015
2015
2014
20122011
2017
2018Wrote 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.
- ESEC-FSE-2017-FerlesWCD
- 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.