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 × United Kingdom
Collaborated with:
A.Zeller J.P.Galeotti B.Mathis R.Gopinath Michaël Mera M.Höschele
Talks about:
parser (1) faster (1) execut (1) direct (1) verif (1) jtaco (1) bound (1) test (1) fuzz (1)

Person: Alexander Kampmann

DBLP DBLP: Kampmann:Alexander

Contributed to:

TAP 20142014
PLDI 20192019

Wrote 2 papers:

TAP-2014-KampmannGZ #bound #execution #named #performance #verification
JTACO: Test Execution for Faster Bounded Verification (AK, JPG, AZ), pp. 134–141.
PLDI-2019-MathisGMKHZ #fuzzing
Parser-directed fuzzing (BM, RG, MM, AK, MH, AZ), pp. 548–560.

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.