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: B=ouml=hme:Marcel
Contributed to:
2014
2014
2013
20132012
2009
2016201720172018Wrote 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.