Concepedia

Jaco Geldenhuys

JG

14

Publications

805

Citations

14

H-Index

1989

Active since

Affiliations

Stellenbosch University(Current)

University of Nebraska–Lincoln

Ames Research Center

Jaco Geldenhuys is an author at Stellenbosch University specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisVerificationFormal MethodsSoftware TestingAutomated ReasoningFormal VerificationSoftware EngineeringStatistics

Publications per year

1989–2019

14

Publications

14

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

Corina S. Păsăreanu, Willem Visser, David Bushnell et al. · Automated Software Engineering · 2013 · 170 citations

Program Checking, Engineering, Verification +17

Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer · 2012 · 154 citations

Constraint Solving, Program Checking, Engineering +15

Probabilistic symbolic execution

Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser · 2012 · 144 citations

Software Maintenance, Program Checking, Engineering +20

The Occurrence of Enteric Viruses in Polluted Water, Correlation to Indicator Organisms and Factors Influencing their Numbers

Jaco Geldenhuys, Philip Pretorius · Water Science & Technology · 1989 · 54 citations

Microbial Virus, Virus Transmission, Bacterial Pathogens +20

Evaluating paper and author ranking algorithms using impact and contribution awards

Marcel Dunaiski, Willem Visser, Jaco Geldenhuys · Journal of Informetrics · 2016 · 52 citations

Altmetrics, Computational Social Science, Ranking Algorithm +11

Rows per page

1–5 of 14