Curriculum Vitae (CV)
Post Scriptum


Dr. Marcel Böhme

Campus E1-1, Zimmer 1.13
66123 Saarbrücken

Saarland University, Germany



Marcel Böhme completed his PhD at National University of Singapore advised by Prof. Abhik Roychoudhury and received his Dipl.-Inf. (cf. M.Sc.) from Technische Universität Dresden, Germany in 2014 and 2009, respectively. His research is on testing, debugging, and repair of evolving programs — where he seeks to understand and elucidate intrinsic properties such as the efficiency of automated testing, the complexity of realistic software errors, the reliability of automated program repair, the mutational robustness of software components, and the interaction of faults and changes, amongst others. Generally, his work is driven towards establishing and extending the formal foundations of Software Testing and Debugging.

Moved to TSUNAMi Lab, NUS.


Jul'15: Invited as member of the ISSTA'16 Artifact Evaluation Committee.
Apr'15: Automated Debugging voted Best Seminar! It was also voted 3rd among *all* courses in the CS department, Saarland Uni!
Mar'15: Invited to talks on the efficiency of automated testing at UCL in London, SUTD in S'pore, NTU in S'pore, and TU Darmstadt!
Jan'15: Invited as member of the ISSTA'15 Artifact Evaluation Committee.
Dec'14: Making the Top10 of most downloaded SE articles in the past 3months with CoREBench, on quantifying error complexity!
Oct'14: Giving a seminar on Automated Debugging this semester WS14/15. Talk to me about thesis topics.
Jul'14: Successfully defended my dissertation and moved from National University of Singapore to Saarland University, Germany.
Jun'14: Our paper "On the Efficiency of Automated Testing" has been accepted at FSE 2014.
May'14: CoREBench has been found to exceed the expectations by the ISSTA'14 Artifact Evaluation Commitee!
Apr'14: Our paper on quantifying error complexity has been accepted at ISSTA 2014.
Jan'14: Invited as member of the ICSE'15 NIER program committee. Chairing session "New Formalisms".


Automated Regression Testing and Verification of Complex Code Changes
Marcel Böhme
Thesis submitted for the degree of Doctor of Philosophy (PhD), Department of Computer Science, National University of Singapore
PhD Defense in July'14
On the Efficiency of Automated Testing
Marcel Böhme and Soumya Paul
(One-line Abstract) Software Testing as Probabilistic Verification and its efficiency vis-à-vis random testing.
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) 2014, pp. 1-11
Note: A short version "Über die Effizienz des Automatischen Testens" appears in German in the Proceedings of SE'15.
CoREBench: Studying Complexity of Regression Errors
Marcel Böhme and Abhik Roychoudhury
(One-line Abstract) A benchmark and the quantitative difference between simple and complex errors.
23rd ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2014, pp. 398-408
Note: Check out CoREBench - a collection of 70 real regression errors. Found to exceed expectations by the AEC.
Note: Making Top10 most downloaded articles in the past 3 months in ACM Software Engineering Notes, Nov'14.
Regression Tests to Expose Change Interaction Errors
Marcel Böhme, Bruno C.d.S. Oliveira, and Abhik Roychoudhury
(One-line Abstract) A new class of errors in evolving software and a technique to expose them.
Joint meeting of the European Software Engineering Conference and the
ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) 2013, pp. 339-349
Partition-based Regression Verification
Marcel Böhme, Bruno C.d.S. Oliveira, and Abhik Roychoudhury
(One-line Abstract-1) Dynamic Semantic Differencing using Regression Test Generation and Input Partitioning.
(One-line Abstract-2) The Practicability of Regression Testing and the Guarantees of Regression Verification.
ACM/IEEE International Conference on Software Engineering (ICSE) 2013, pp.300-309
Note: The technical report, containing proofs for theorems 1 and 2, will be provided on demand.
Regression Testing of Evolving Programs
Marcel Böhme, Abhik Roychoudhury, and Bruno C.d.S. Oliveira
(One-line Abstract) Review and survey of recent advances in the testing of evolving programs.
Advances in Computers, Elsevier, 2013, Volume 89, Chapter 2, pp.53-88
PDF Software Regression as Change of Input Partitioning
Marcel Böhme
(One-line Abstract) My doctoral research agenda.
ACM/IEEE International Conference on Software Engineering (ICSE) 2012, pp.1523-1526
Comprehensive Test Suite Augmentation
Marcel Böhme and Abhik Roychoudhury
Technical Report, National University of Singapore, pp.1-11
Generating Safe Template Languages
F. Heidenreich, J. Johannes, M. Seifert, C. Wende, and M. Böhme
ACM International Conference on Generative Programming and Component Engineering (GPCE) 2009, pp.99-108
© Above are the author's versions of the works. They are posted here for your personal use. Not for redistribution.
   The definitive versions were published in the referenced conferences.


  • Committee Member @ ISSTA'16-AE, ISSTA'15-AE, and ICSE'15-NIER (session chair)
  • Reviewer for IST'15, TSE'15, ISSTA'15, TSE'14, ICST'14, ASE'13, ISSTA'13, ICST'13, FASE'13, and PEPM'11
  • Represented NUS PhDs @ Focus Group Discussions with Ministry of Education, Singapore
  • Outreach NUS to TU Dresden
  • Co-Organizer of CSTalks, a seminar-style talk series (2011/12)
  • Graduate Student Representative @ Graduate Liason Committee (2010/11)
  • University Ambassador @ Technische Universität Dresden, Germany

Post Scriptum - Umlauts

My last name is properly written with an umlaut (i.e, Böhme).
Latex supports umlauts natively using \usepackage[utf8]{inputenc} among the imports.
The correct english transliteration spells: Boehme. The letter ö is pronounced like 'u' in fur or the 'e' in earn or merge.

Marcel Böhme < > · · Updated: 2015-10-04 14:05