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: 0002:Bernd_Fischer
Contributed to:
20172018
2019Wrote 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.