ISSTA 2022
Mon 18 - Fri 22 July 2022 Online
Jaco Geldenhuys

Registered user since Thu 7 Dec 2017

Name:Jaco Geldenhuys
Country:South Africa
Affiliation:University of Stellenbosch, South Africa
Research interests:Software verification, Symbolic and concolic execution, Software testing


ISSTA 2022 Probabilistic Symbolic Execution: Quantitative Program Analysis through Model Counting
Show activities from other conferences

ISSTA 2022-profile
View general profile