Willem Visser Computer Science Division
Stellenbosch University
Private Bag X1
7602 Matieland, South Africa

wvisser -at- cs.sun.ac.za
visserw -at- sun.ac.za
willem -at- gmail.com
+27 21 808 4232

News...

Received the SIGSOFT 2020 Impact Paper Award
For the 2000 paper published at ASE, entitled Model Checking Programs

Received the ISSTA 2018 Retrospective Impact Paper Award
For the 2004 paper published at ISSTA, entitled Test Input Generation with Java PathFinder

Received the Best Paper Award at SAICSIT 2017
Best paper award for Probabilistic Programming for Java using Symbolic Execution and Model Counting

Became Vice-Dean of Research for the Science Faculty at Stellenbosch University
Elected to a three-year term: 2017-2019

Received an NRF A Rating in 2016
One of only two researchers to receive an A rating (Leading International Researcher) in CS and IS in South Africa

ICSE 2016 Program Co-Chair
Co-chair of ICSE 2016 with Laurie Williams.

FSE paper accepted
Our research paper "Statistical Symbolic Execution with Informed Sampling" was accepted at FSE 2014. [Review Copy]

ASE paper accepted
Our research paper "Exact and Approximate Probabilistic Symbolic Execution for Nondeterministic Programs" was accepted at ASE 2014. [PrePrint]