ESEC/FSE 2020 (series) / 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
View general profile