ISSTA 2022 (series) / Jaco Geldenhuys
Registered user since Thu 7 Dec 2017
Name:Jaco Geldenhuys
Country:South Africa
Affiliation:University of Stellenbosch, South Africa
Personal website:http://www.cs.sun.ac.za/~jaco/
Research interests:Software verification, Symbolic and concolic execution, Software testing
Contributions
| ISSTA 2022 | Probabilistic Symbolic Execution: Quantitative Program Analysis through Model Counting | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ISSTA 2022-profile
View general profile
View general profile