Haitao Dan's Home Page


Research Fellow, School of Information Systems, Computing and Mathematics, Brunel University, Uxbridge, Middlesex, UK, UB8 3PH, email haitao.dan at brunel.ac.uk, phone +44 (0) 1895 267723, fax +44 (0) 1895 251686


Brief Details

I am a research fellow and have been working on the EPSRC project "The Birth, Life and Death of Semantic Mutants" since June, 2009. From 2006 to 2009, I studied at Brunel for the degree of Doctor of Philosophy in Computer Science. I was supervised by Professor Rob Hierons and Dr. Steve Counsell. I am a member of the Brunel Software Engineering Group (B-SERC).

Before coming to UK, I worked first as a programmer then a project manager at China Electronics Technology Group Corporation. I received my BA degree in Electronics Engineering at Sichuan University.

I grew up in Chengdu, capital of Sichuan Province in south-west of China, home town of pandas and Szechuan Cuisine .

I will co-chair the 8th International Workshop on Mutation Analysis (Mutation 2013), serve as a publicity chair for the 11th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2013), and I served as a publicity chair for the 11th IEEE International Conference on Quality Software QSIC 2011.

Research Interests

Scenario-based models

Two famous scenario-based models are message sequence charts and sequence diagrams. One the one hand, scenario-based models are intuitive and popular in industry and, on the other hand, they have potential to be used in formal analysis and inference. Therefore, they may be a good candidate for bridging up gap between research and industry. However, there are inherent problems in these scenario-based models, namely pathologies, such as race, non-local choice and implied scenarios. The aim of this research is to explore and overcome problems caused by pathologies and thus extend the formal usability of scenario-based models.

Distributed Testing from scenario-based models

There are controllability and verdict problems when testing distributed systems. Research has been conducted to address these problems using state-based models. Interestingly, such problems also happen when implementing tests from scenarios-based models. However, these problems can be more complicated when combined with the nature of scenario-based models. One of my research interests is to understand and solve the possible problems when testing distributed system from scenario-based models.

Semantic Mutation Testing

Mutation testing is a powerful yet flexible test technique. Recently, semantic mutation testing, arguably a type of mutation testing, has been proposed to tackle a specific type of errors which are caused by mis-understandings of the semantics of languages that software engineers use to deliver artifacts in software engineering processes. My research develops and evaluates the use of semantic mutation testing in detecting tricky bugs introduced by mis-understandings.

Journal Publications

Refereed Conferences and Workshops



For more information on this page, please email me.

Local Links


Last updated: March 2013.


Disclaimer The contents of this page falls outside the responsibility of Brunel University.