Jaco Geldenhuys

Jaco Geldenhuys

Stellenbosch University - Stellenbosch / South Africa
Engineering & Technology / Computer Science
AD Scientific Index ID: 99792
University of Stellenbosch
person_outline Jaco Geldenhuys's MOST POPULAR ARTICLES
1-) Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis Automated Software Engineering 20, 391-425, 2013
2-) Green: reducing, reusing and recycling constraints in program analysis Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
3-) Probabilistic symbolic execution Proceedings of the 2012 International Symposium on Software Testing and …, 2012
4-) Tarjan’s algorithm makes on-the-fly LTL verification more efficient International Conference on Tools and Algorithms for the Construction and …, 2004
5-) More efficient on-the-fly LTL verification with Tarjan's algorithm Theoretical Computer Science 345 (1), 60-82, 2005