Write a Blog >>
Willem Visser

Registered user since Sun 30 Oct 2016

Name: Willem Visser

Country: South Africa

Affiliation: Stellenbosch University, South Africa

Personal website: http://www.cs.sun.ac.za/~wvisser

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