Travelled to:1 × Austria
1 × Belgium
1 × China
1 × Ireland
1 × Poland
1 × Sweden
2 × Italy
2 × Portugal
3 × Canada
3 × United Kingdom
9 × USA
Collaborated with:C.S.Pasareanu M.B.Dwyer J.Geldenhuys A.Filieri G.P.Brat R.Pelánek N.Rungta A.Groce ∅ S.Khurshid Robby P.C.Mehlitz A.Tomb S.Anand T.Nguyen O.Tkachuk K.Havelund S.Park P.Ponzio N.Aguirre M.F.Frias K.S.Luckow M.Borges M.d'Amorim R.H.Bordini M.Fisher C.Pardavila M.Wooldridge M.P.E.Heimdahl S.Rayadurgam G.Devaraj J.Gao J.Penix E.Engstrom A.Larson N.Weininger X.D.Le D.Chu D.L.0001 C.L.Goues M.A.Ardis D.Budgen G.W.Hislop J.Offutt M.J.Sebern M.J.Gerrard C.Cadar P.Godefroid K.Sen N.Tillmann J.Hatcliff R.Joehanes S.Laubach H.Zheng
Talks about:program (11) symbol (10) model (9) check (8) analysi (7) execut (7) test (6) java (5) use (5) probabilist (4)
♂ Person: Willem Visser
DBLP: Visser:Willem
Facilitated 7 volumes:
ExpertReviewPaPrBoardPrCoPrCoExpertReviewPaPrBoardPrChContributed to:
2014
2014
2014
2013
20132012
20122011201120102007
200720062005
200520042003
200320032002200120012001200020002016
201520162017
2017Wrote 31 papers:
- ASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code #symbolic computation
- Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.
- FSE-2014-FilieriPVG #execution #statistics #symbolic computation
- Statistical symbolic execution with informed sampling (AF, CSP, WV, JG), pp. 437–448.
- PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier
- Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
- CSEET-2013-ArdisBHOSV
- Workshop on revisions to SE 2004 (MAA, DB, GWH, JO, MJS, WV), pp. 356–358.
- ICSE-2013-FilieriPV #analysis #reliability
- Reliability analysis in symbolic pathfinder (AF, CSP, WV), pp. 622–631.
- ICSE-2013-MehlitzRV #java #tutorial
- A hands-on Java PathFinder tutorial (PCM, NR, WV), pp. 1493–1495.
- FSE-2012-VisserGD #constraints #named #program analysis #reuse
- Green: reducing, reusing and recycling constraints in program analysis (WV, JG, MBD), p. 58.
- ISSTA-2012-GeldenhuysDV #execution #probability #symbolic computation
- Probabilistic symbolic execution (JG, MBD, WV), pp. 166–176.
- ICSE-2011-CadarGKPSTV #assessment #execution #symbolic computation #testing
- Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.
- ISSTA-2011-PasareanuRV #execution #symbolic computation
- Symbolic execution with mixed concrete-symbolic solving (CSP, NR, WV), pp. 34–44.
- ASE-2010-VisserG #debugging #named
- Impendulo: debugging the programmer (WV, JG), pp. 351–352.
- ISSTA-2007-TombBV #detection #fault #interprocedural #program analysis #runtime
- Variably interprocedural program analysis for runtime error detection (AT, GPB, WV), pp. 97–107.
- TACAS-2007-AnandPV #execution #java #named #symbolic computation
- JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.
- ISSTA-2006-VisserPP #generative #java #using
- Test input generation for java containers using state matching (WV, CSP, RP), pp. 37–48.
- ASE-2005-VisserPP #abstraction #generative #using
- Test input generation for red-black trees using abstraction (WV, CSP, RP), pp. 414–417.
- CAV-2005-PasareanuPV #model checking #refinement
- Concrete Model Checking with Abstract Matching and Refinement (CSP, RP, WV), pp. 52–66.
- ASE-2004-DwyerRTV #interactive #model checking #order
- Analyzing Interaction Orderings with Model Checking (MBD, R, OT, WV), pp. 154–163.
- CAV-2003-BordiniFPVW #model checking #multi #source code
- Model Checking Multi-Agent Programs with CASP (RHB, MF, CP, WV, MW), pp. 110–113.
- FATES-2003-HeimdahlRVDG #case study #model checking #sequence #testing #using
- Auto-generating Test Sequences Using Model Checkers: A Case Study (MPEH, SR, WV, GD, JG), pp. 42–59.
- TACAS-2003-KhurshidPV #execution #model checking #symbolic computation #testing
- Generalized Symbolic Execution for Model Checking and Testing (SK, CSP, WV), pp. 553–568.
- ISSTA-2002-GroceV #heuristic #java #model checking #source code #using
- Model checking Java programs using structural heuristics (AG, WV), pp. 12–21.
- ASE-2001-BratV #model checking #static analysis
- Combining Static Analysis and Model Checking for Software Analysis (GPB, WV), p. 262–?.
- ICSE-2001-DwyerHJLPRZV #abstraction #finite #verification
- Tool-Supported Program Abstraction for Finite-State Verification (MBD, JH, RJ, SL, CSP, R, HZ, WV), pp. 177–187.
- TACAS-2001-PasareanuDV #java #model checking #source code
- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs (CSP, MBD, WV), pp. 284–298.
- ASE-2000-VisserHBP #model checking #source code
- Model Checking Programs (WV, KH, GPB, SP), pp. 3–12.
- ICSE-2000-PenixVELW #clustering #kernel #verification
- Verification of time partitioning in the DEOS scheduler kernel (JP, WV, EE, AL, NW), pp. 488–497.
- ASE-2016-Visser #what
- What makes killing a mutant hard (WV), pp. 39–44.
- GTTSE-2015-DwyerFGGPV #probability #program analysis
- Probabilistic Program Analysis (MBD, AF, JG, MJG, CSP, WV), pp. 1–25.
- FSE-2016-PonzioAFV #testing
- Field-exhaustive testing (PP, NA, MFF, WV), pp. 908–919.
- ASE-2017-NguyenDV #invariant #named #using
- SymInfer: inferring program invariants using symbolic states (TN, MBD, WV), pp. 804–814.
- ESEC-FSE-2017-LeCLGV #named #programming #semantics #synthesis
- S3: syntax- and semantic-guided repair synthesis via programming by examples (XBDL, DHC, DL0, CLG, WV), pp. 593–604.