Thread-Based Analysis of Sequence Diagrams. - Haitao Dan; Robert M. Hierons; Steve Counsell (FORTE, 2007)

A Thread-tag Based Semantics for Sequence Diagrams. - Haitao Dan; Robert M. Hierons; Steve Counsell (SEFM, 2007)

Non-local Choice and Implied Scenarios. - Haitao Dan; Robert M. Hierons; Steve Counsell (SEFM, 2010)

Conformance Testing from Message Sequence Charts. - Haitao Dan; Robert M. Hierons (ICST, 2011)

Semantic Mutation Analysis of Floating-Point Comparison. - Haitao Dan; Robert M. Hierons (ICST, 2012)

SMT-C: A Semantic Mutation Testing Tools for C. - Haitao Dan; Robert M. Hierons (ICST, 2012)

Controllability Problems in MSC-Based Testing. - Haitao Dan; Robert M. Hierons (Comput. J., 2012)

A framework for pathologies of message sequence charts. - Haitao Dan; Robert M. Hierons; Steve Counsell (Inf. Softw. Technol., 2012)

Welcome from the Chairs. - Márcio Eduardo Delamaro; Haitao Dan; Yue Jia 001 (ICST Workshops, 2013)

Semantic mutation testing. - John A. Clark; Haitao Dan; Robert M. Hierons (Sci. Comput. Program., 2013)

An analysis of the relationship between conditional entropy and failed error propagation in software testing. - Kelly Androutsopoulos; David Clark 001; Haitao Dan; Robert M. Hierons; Mark Harman (ICSE, 2014)

MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis. - Mike Papadakis; Tejeddine Mouelhi; Haitao Dan (ICST Workshops, 2014)

Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences. - Haitao Dan; Mark Harman; Jens Krinke; Lingbo Li 001; Alexandru Marginean; Fan Wu 009 (SSBSE, 2014)

The Oracle Problem When Testing from MSCs. - Haitao Dan; Robert M. Hierons (Comput. J., 2014)

A Two-color Single-molecule Sequencing Platform and Its Clinical Applications. - Fang Chen; Bin Liu; Meirong Chen; Zefei Jiang; Zhiliang Zhou; Ping Wu; Meng Zhang; Huan Jin; Linsen Li; Liuyan Lu; Huan Shang; Lei Liu; et al. (Genom. Proteom. Bioinform., 2024)