| | |
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.
| [DISSERTATION] |
 |
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 SingaporePhD Defense in July'14 |
| | |
| [FSE'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. |
| | |
| [ISSTA'14] |
|
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. |
| | |
| [ESEC/FSE'13] |
|
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 |
| | |
| [ICSE'13] |
|
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.
|
| | |
| [ADCOM'13] |
|
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 |
| | |
| [ICSE'12] |
|
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 |
| | |
| [NUS'11] |
|
Comprehensive Test Suite Augmentation |
|
Marcel Böhme and Abhik Roychoudhury |
|
Technical Report, National University of Singapore, pp.1-11 |
| | |
| [GPCE'09] |
|
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
My last name is properly written with an umlaut (i.e, Böhme).
| Latex/Bibtex | B{\"o}hme |
| HTML | Böhme |
| UTF8 | 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
< >
· http://www.st.cs.uni-saarland.de/~boehme/ · Updated: 2015-10-04 14:05
|
|---|
