Write a Blog >>
Willem Visser

Registered user since Sun 30 Oct 2016

Name:Willem Visser
Country:South Africa
Affiliation:Stellenbosch University, South Africa

Contributions

ESEC/FSE 2020 Impact paper: Model Checking Programs
Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java
Show activities from other conferences

ESEC/FSE 2020-profile
View general profile