Leonard Peter Binamungu

Research Interests

I am a PhD researcher in the School of Computer Science, University of Manchester, United Kingdom where I work under Suzanne M. Embury and Nikolaos Konstantinou. Our research is about Rigorous Approaches to Acceptance Test-Driven Development. We are interested in approaches and techniques to build correct and easy to evolve software systems, paying attention to capturing correct specifications that produce software with correct behaviours. Particularly, we investigate the usefulness of approaches and techniques such as Test-Driven Development (TDD), Acceptance Test Driven Development (ATDD), and Behaviour-Driven Development (BDD) in building correct and easy to evolve software systems.

Our most recent focus is on the problem of semantic duplication in BDD specifications. We are investigating the causes of duplication in BDD specifications; approaches and techniques for duplication detection in BDD specifications; and management, evolution and propagation of duplicates in BDD specifications.


SEED: Initially developed by Wai Suan as part of his MSc project under the supervision of Suzanne M. Embury, SEED is a tool for detecting and refactoring duplicates in cucumber suites.It can be downloaded through github where issues can be registered as well.

DHIS2: From 2009 to 2015, I was the system analyst and national implementer of the DHIS2, working as part of the team responsible for the development, customization, training, deployment and user support for DHIS2 in Tanzania, Africa and the rest of the world.

HRHIS: From 2009 to 2015, I was the system analyst, developer and national implementer of the Human Resource for Health Information Software (HRHIS), a software to facilitate the collection and analysis of information related to the health workforce of the entire country of Tanzania, with the aim of informing the decision making process on the country health workforce agenda.

eIDSR Tanzania: Between 2013 and 2015, I was part of the team responsible for analysis, development, training and national deployment of the electronic Integrated Diseases Surveillance and Response (eIDSR) system. The system facilitates immediate and weekly reporting of certain diseases of public health importance through mobile phones, to inform diseases surveillance and response teams in a bid to contain the spread of diseases.


  1. L.P. Binamungu, S. Embury, N. Konstantinou: Maintaining Behaviour Driven Development Specifications: Challenges and Opportunities. 25th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2018), IEEE, Campobasso, Italy, March 2018 [pdf]
  2. L.P. Binamungu, S. Embury, N. Konstantinou: Detecting Duplicate Examples in Behaviour Driven Development Specifications. 2018 IEEE Workshop on Validation, Analysis and Evolution of Software Tests (VST), IEEE, Campobasso, Italy, March 2018 [pdf]


Since November 2009 todate, I have been working as an academic member of staff in the department of Computer Science and Engineering, University of Dar es Salaam where I teach various programming and software engineering courses. Currently, apart from my PhD research at the University of Manchester, I also do some graduate teaching assistance for the following course units:

  1. COMP23311: Software Engineering 1
  2. COMP23311: Software Engineering 2
  3. COMP33711: Agile Software Engineering
  4. COMP27112: Computer Graphics and Image Processing

Membership in Professional Organisations

I am a member of the Association for Computing Machinery (ACM)