BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
Collaborated with:
M.Raselimo J.Taljaard T.L.Nguyen P.Schrammel S.L.Torre G.Parlato M.Y.R.Gadelha F.R.Monteiro J.Morse L.C.Cordeiro D.A.Nicole
Talks about:
program (2) base (2) interleav (1) strength (1) spectrum (1) parallel (1) industri (1) guarante (1) instanc (1) grammar (1)

Person: Bernd Fischer 0002

DBLP DBLP: 0002:Bernd_Fischer

Contributed to:

ASE 20172017
ASE 20182018
SLE 20192019

Wrote 4 papers:

ASE-2017-NguyenS0TP #concurrent #parallel #source code
Parallel bug-finding in concurrent programs via reduced interleaving instances (TLN, PS, BF0, SLT, GP), pp. 753–764.
ASE-2018-GadelhaMMC0N #c #model checking
ESBMC 5.0: an industrial-strength C model checker (MYRG, FRM, JM, LCC, BF0, DAN), pp. 888–891.
SLE-2019-RaselimoF #context-free grammar #fault #locality
Spectrum-based fault localization for context-free grammars (MR, BF0), pp. 15–28.
SLE-2019-RaselimoTF #fault #generative #parsing #source code #syntax
Breaking parsers: mutation-based generation of programs with guaranteed syntax errors (MR, JT, BF0), pp. 83–87.

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.