Marcel Boehme


Accepting PhD Students

If you made any changes in Pure these will be visible here soon.

Personal profile


Dr Marcel Böhme is a 2019 ARC DECRA Fellow and Lecturer (Asst Prof) at Monash University, Australia. He completed his PhD at National University of Singapore advised by Prof Abhik Roychoudhury in 2014 after joining Abhik's team in 2011. It followed a postdoctoral stint at the CISPA-Helmholtz Zentrum Saarbrücken with Prof. Andreas Zeller and a role as senior research fellow at the TSUNAMi Security Research Centre in Singapore. Marcel's research is focussed on automated vulnerability detection, analysis, testing, debugging, and repair of large software systems, where he investigates practical topics such as efficiency, scalability, and reliability of automated techniques via theoretical and empirical analysis. His high-performance fuzzers discovered 100+ bugs in widely-used software systems, more than 50 of which are security-critical vulnerabilities registered as CVEs at the US National Vulnerability Database. His vision statement can be found here: Assurances in Software Testing: A Roadmap.

Find out more:


  • Automated software engineering
  • Software Testing
  • Software Debugging
  • Software Repair
  • User studies
  • Statistics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2019 2022

Research Output 2009 2019

Coverage-based Greybox Fuzzing as Markov chain

Böhme, M., Pham, V. T. & Roychoudhury, A., May 2019, In : IEEE Transactions on Software Engineering. 45, 5, p. 489-506 18 p.

Research output: Contribution to journalArticleResearchpeer-review

A correlation study between automated program repair and test-suite metrics

Yi, J., Tan, S. H., Mechtaev, S., Böhme, M. & Roychoudhury, A., Oct 2018, In : Empirical Software Engineering. 23, 5, p. 2948-2979 32 p.

Research output: Contribution to journalArticleResearchpeer-review

STADS: Software testing as species discovery

Böhme, M., 1 Jul 2018, In : ACM Transactions on Software Engineering and Methodology. 27, 2, 52 p., 7.

Research output: Contribution to journalArticleResearchpeer-review

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty

Llerena, Y. R. S., Böhme, M., Brünink, M., Su, G. & Rosenblum, D. D., 2018, ESEC/FSE'18 - Proceedings of the 2018 26th ACM Joint Meeting on European Soware Engineering Conference and Symposium on the Foundations of Soware Engineering: November 4–9, 2018 Lake Buena Vista, FL, USA. Leavens, G. T., Garci, A. & Pasareanu, C. S. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 587-597 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Detecting information flow by mutating input data

Mathis, B., Avdiienko, V., Soremekun, E. O., Böhme, M. & Zeller, A., 20 Nov 2017, ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. IEEE, Institute of Electrical and Electronics Engineers, p. 263-273 11 p. 8115639

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Press / Media

Smart Greybox Fuzzing @ Register and Security Week

Marcel Boehme, Van Thuan Pham & Abhik Roychoudhury


2 items of media coverage

Press/Media: Article/Feature