Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Jaco Geldenhuys

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Willem Visser

> Home > Persons > Jaco Geldenhuys

Publications

2020
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/TaljaardGV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/TaljaardGV20
Jan Taljaard, Jaco Geldenhuys, Willem Visser:
Constraint Caching Revisited. NFM 2020: 251-266
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/VisserG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/VisserG20
Willem Visser, Jaco Geldenhuys:
COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). TACAS (2) 2020: 373-377
2019
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/joi/DunaiskiGV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joi/DunaiskiGV19
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser:
On the interplay between normalisation, bias, and performance of paper impact metrics. J. Informetrics 13(1): 270-290 (2019)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/joi/DunaiskiGV19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joi/DunaiskiGV19a
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser:
Globalised vs averaged: Bias and ranking performance on the author level. J. Informetrics 13(1): 299-313 (2019)
2018
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/joi/DunaiskiGV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joi/DunaiskiGV18
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser:
How to evaluate rankings of academic entities using test data. J. Informetrics 12(3): 631-655 (2018)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/joi/DunaiskiGV18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joi/DunaiskiGV18a
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser:
Author ranking evaluation at scale. J. Informetrics 12(3): 679-702 (2018)
2016
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/joi/DunaiskiVG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joi/DunaiskiVG16
Marcel Dunaiski, Willem Visser, Jaco Geldenhuys:
Evaluating paper and author ranking algorithms using impact and contribution awards. J. Informetrics 10(2): 392-407 (2016)
2015
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/RosnerGAVF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/RosnerGAVF15
Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias:
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. IEEE Trans. Software Eng. 41(7): 639-660 (2015)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/gttse/DwyerFGGPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gttse/DwyerFGGPV15
Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser:
Probabilistic Program Analysis. GTTSE 2015: 1-25
[c22]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/FilieriPVG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/FilieriPVG15
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management 2015: 51-52
2014
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/FilieriPVG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/FilieriPVG14
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical symbolic execution with informed sampling. SIGSOFT FSE 2014: 437-448
2013
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/PasareanuVBGMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/PasareanuVBGMR13
Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta:
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Autom. Softw. Eng. 20(3): 391-425 (2013)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/GeldenhuysAFV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/GeldenhuysAFV13
Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser:
Bounded Lazy Initialization. NASA Formal Methods 2013: 229-243
2012
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GeldenhuysDV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GeldenhuysDV12
Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser:
Probabilistic symbolic execution. ISSTA 2012: 166-176
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/saicsit/RedelinghuysVG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saicsit/RedelinghuysVG12
Gideon Redelinghuys, Willem Visser, Jaco Geldenhuys:
Symbolic execution of programs with strings. SAICSIT 2012: 139-148
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/VisserGD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/VisserGD12
Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer:
Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE 2012: 58
2010
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/VisserG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/VisserG10
Willem Visser, Jaco Geldenhuys:
Impendulo: debugging the programmer. ASE 2010: 351-352

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.