Dr Haitao Dan

Contact

Information Systems and Computing St John's 102 Brunel University Uxbridge UB8 3PH United Kingdom

Tel: +44 (0)1895 267723 Email: haitao.dan@brunel.ac.uk Web: Personal Website

Research Interests

My current research interests include semantic mutation testing, scenario-based specifications (MSCs, SDs etc.), specification based testing and model based testing including testing from a scenario-based specification, testing distributed systems, UML and its semantics

University Research Centre Membership

Publications

Journal Papers

(2011) Clark, JA., Dan, H. and Hierons, RM., Semantic mutation testing, Science of Computer Programming In Press, Corrected Proof -- - Download publication

Conference Papers

(2007) Dan, H., Hierons, RM. and Counsell, S., A thread-tag based semantics for sequence diagrams, 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Download publication

(2010) Clark, JA., Dan, H. and Hierons, RM., Semantic mutation testing, , Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on 100- 109

(2011) Dan, H. and Hierons, RM., Conformance testing from message sequence charts, , Proceedings of the 4th International Conference on Software Testing, Verification and Validation 279- 288

(2010) Dan, H., Hierons, RM. and Counsell, S., Non-local choices and implied scenarios, , Proceedings of the 8th International Conference on Software Engineering and Formal Methods 53- 62

Book Chapters

(2007) Dan, H., Hierons, RM. and Counsell, S., Thread-based analysis of sequence diagrams. In: Formal Techniques for Networked and Distributed Systems (FORTE 2007). (4574/2007) : 19- 34