| 2014 | ICSE | An analysis of the relationship between conditional entropy and failed error propagation in software testing. | Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman |
| 2014 | ICST | MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis. | Mike Papadakis, Tejeddine Mouelhi, Haitao Dan |
| 2014 | SSBSE | Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences. | Haitao Dan, Mark Harman, Jens Krinke, Lingbo Li, Alexandru Marginean, Fan Wu |
| 2013 | ICST | Welcome from the Chairs. | Mrcio Eduardo Delamaro, Haitao Dan, Yue Jia |
| 2012 | ICST | Semantic Mutation Analysis of Floating-Point Comparison. | Haitao Dan, Robert M. Hierons |
| 2012 | ICST | SMT-C: A Semantic Mutation Testing Tools for C. | Haitao Dan, Robert M. Hierons |
| 2011 | ICST | Conformance Testing from Message Sequence Charts. | Haitao Dan, Robert M. Hierons |
| 2010 | ICST | Semantic Mutation Testing. | John A. Clark, Haitao Dan, Robert M. Hierons |
| 2010 | SEFM | Non-local Choice and Implied Scenarios. | Haitao Dan, Robert M. Hierons, Steve Counsell |
| 2007 | FORTE | Thread-Based Analysis of Sequence Diagrams. | Haitao Dan, Robert M. Hierons, Steve Counsell |
| 2007 | SEFM | A Thread-tag Based Semantics for Sequence Diagrams. | Haitao Dan, Robert M. Hierons, Steve Counsell |