BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × China
1 × Portugal
1 × South Africa
2 × Spain
2 × USA
Collaborated with:
W.Visser M.B.Dwyer H.Hansen A.Valmari A.Filieri C.S.Pasareanu B.v.d.Merwe M.Farag M.J.Gerrard
Talks about:
probabilist (2) program (2) analysi (2) symbol (2) execut (2) counterexampl (1) constraint (1) impendulo (1) algorithm (1) programm (1)

♂ Person: Jaco Geldenhuys

DBLP DBLP: Geldenhuys:Jaco

Facilitated 1 volumes:

ASE 2012PrCo

Contributed to:

FSE 20142014
LATA 20132013
FSE 20122012
ISSTA 20122012
ASE 20102010
SEFM 20082008
TACAS 20042004
GTTSE 20152015

Wrote 8 papers:

FSE-2014-FilieriPVG #execution #statistics #symbolic computation
Statistical symbolic execution with informed sampling (AF, CSP, WV, JG), pp. 437–448.
LATA-2013-MerweFG #difference #symmetry
Counting Minimal Symmetric Difference NFAs (BvdM, MF, JG), pp. 419–430.
FSE-2012-VisserGD #constraints #named #program analysis #reuse
Green: reducing, reusing and recycling constraints in program analysis (WV, JG, MBD), p. 58.
ISSTA-2012-GeldenhuysDV #execution #probability #symbolic computation
Probabilistic symbolic execution (JG, MBD, WV), pp. 166–176.
ASE-2010-VisserG #debugging #named
Impendulo: debugging the programmer (WV, JG), pp. 351–352.
SEFM-2008-HansenG
Cheap and Small Counterexamples (HH, JG), pp. 53–62.
TACAS-2004-GeldenhuysV #algorithm #ltl #on the fly #performance #verification
Tarjan’s Algorithm Makes On-the-Fly LTL Verification More Efficient (JG, AV), pp. 205–219.
GTTSE-2015-DwyerFGGPV #probability #program analysis
Probabilistic Program Analysis (MBD, AF, JG, MJG, CSP, WV), pp. 1–25.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.