Jaco Geldenhuys
Jaco Geldenhuys
Associate Professor, Computer Science Division, Stellenbosch University
Verified email at cs.sun.ac.za - Homepage
Title
Cited by
Cited by
Year
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
CS Păsăreanu, W Visser, D Bushnell, J Geldenhuys, P Mehlitz, N Rungta
Automated Software Engineering 20 (3), 391-425, 2013
1582013
Green: reducing, reusing and recycling constraints in program analysis
W Visser, J Geldenhuys, MB Dwyer
Proceedings of the ACM SIGSOFT 20th International Symposium on theá…, 2012
1242012
Probabilistic symbolic execution
J Geldenhuys, MB Dwyer, W Visser
Proceedings of the 2012 International Symposium on Software Testing andá…, 2012
1132012
Tarjan’s algorithm makes on-the-fly LTL verification more efficient
J Geldenhuys, A Valmari
International Conference on Tools and Algorithms for the Construction andá…, 2004
642004
More efficient on-the-fly LTL verification with Tarjan's algorithm
J Geldenhuys, A Valmari
Theoretical Computer Science 345 (1), 60-82, 2005
602005
Larger automata and less work for LTL model checking
J Geldenhuys, H Hansen
International SPIN Workshop on Model Checking of Software, 53-70, 2006
352006
Runtime efficient state compaction in SPIN
J Geldenhuys, PJA De Villiers
Theoretical and Practical Aspects of SPIN Model Checking, 12-21, 1999
351999
Evaluating paper and author ranking algorithms using impact and contribution awards
M Dunaiski, W Visser, J Geldenhuys
Journal of Informetrics 10 (2), 392-407, 2016
312016
Symbolic execution of programs with strings
G Redelinghuys, W Visser, J Geldenhuys
Proceedings of the South African Institute for Computer Scientists andá…, 2012
312012
State caching reconsidered
J Geldenhuys
International SPIN Workshop on Model Checking of Software, 23-38, 2004
292004
BLISS: improved symbolic execution by bounded lazy initialization with SAT support
N Rosner, J Geldenhuys, NM Aguirre, W Visser, MF Frias
IEEE Transactions on Software Engineering 41 (7), 639-660, 2015
262015
Statistical symbolic execution with informed sampling
A Filieri, CS Păsăreanu, W Visser, J Geldenhuys
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundationsá…, 2014
262014
A nearly memory-optimal data structure for sets and mappings
J Geldenhuys, A Valmari
International SPIN Workshop on Model Checking of Software, 136-150, 2003
242003
Techniques for smaller intermediary bdds
J Geldenhuys, A Valmari
International Conference on Concurrency Theory, 233-247, 2001
222001
Reducing nondeterministic finite automata with SAT solvers
J Geldenhuys, B Van Der Merwe, L Van Zijl
International Workshop on Finite-State Methods and Natural Languageá…, 2009
212009
Exploring the scope for partial order reduction
J Geldenhuys, H Hansen, A Valmari
International Symposium on Automated Technology for Verification andá…, 2009
202009
Automatic scaling using gamma learning for feedforward neural networks
AP Engelbrecht, I Cloete, J Geldenhuys, JM Zurada
International Workshop on Artificial Neural Networks, 374-381, 1995
201995
Bounded lazy initialization
J Geldenhuys, N Aguirre, MF Frias, W Visser
NASA Formal Methods Symposium, 229-243, 2013
172013
Finding the core developers
J Geldenhuys
2010 36th EUROMICRO Conference on Software Engineering and Advancedá…, 2010
172010
Update propagation practices in highly reusable open source components
H Orsila, J Geldenhuys, A Ruokonen, I Hammouda
IFIP International Conference on Open Source Systems, 159-170, 2008
142008
The system can't perform the operation now. Try again later.
Articles 1–20