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 × China
1 × Russia
1 × Switzerland
3 × USA
Collaborated with:
A.Roychoudhury B.C.d.S.Oliveira S.Paul E.O.Soremekun A.Zeller V.Pham F.Heidenreich J.Johannes M.Seifert C.Wende B.Mathis V.Avdiienko S.C.0001 E.Ugherughe Y.R.S.Llerena M.Brünink G.Su D.S.Rosenblum
Talks about:
regress (4) partit (2) model (2) input (2) error (2) chang (2) test (2) base (2) uncertainti (1) probabilist (1)

Person: Marcel Böhme

DBLP DBLP: B=ouml=hme:Marcel

Contributed to:

FSE 20142014
ISSTA 20142014
ESEC/FSE 20132013
ICSE 20132013
ICSE 20122012
GPCE 20092009
ASE 20162016
ASE 20172017
ESEC/FSE 20172017
ESEC/FSE 20182018

Wrote 10 papers:

FSE-2014-BohmeP #automation #on the #performance #testing
On the efficiency of automated testing (MB, SP), pp. 632–642.
ISSTA-2014-BohmeR #complexity #fault #named
CoREBench: studying complexity of regression errors (MB, AR), pp. 105–115.
ESEC-FSE-2013-BohmeOR #fault #interactive #testing
Regression tests to expose change interaction errors (MB, BCdSO, AR), pp. 334–344.
ICSE-2013-BohmeOR #verification
Partition-based regression verification (MB, BCdSO, AR), pp. 302–311.
ICSE-2012-Bohme #clustering
Software regression as change of input partitioning (MB), pp. 1523–1526.
GPCE-2009-HeidenreichJSWB #generative
Generating safe template languages (FH, JJ, MS, CW, MB), pp. 99–108.
ASE-2016-PhamBR #fuzzing #modelling
Model-based whitebox fuzzing for program binaries (VTP, MB, AR), pp. 543–553.
ASE-2017-MathisASBZ #data flow #detection
Detecting information flow by mutating input data (BM, VA, EOS, MB, AZ), pp. 263–273.
ESEC-FSE-2017-BohmeS0UZ #debugging #empirical #how
Where is the bug and how is it fixed? an experiment with practitioners (MB, EOS, SC0, EU, AZ), pp. 117–128.
ESEC-FSE-2018-LlerenaBBSR #behaviour #modelling #nondeterminism #probability #verification
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty (YRSL, MB, MB, GS, DSR), pp. 587–597.

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.