Haitao Dan

According to our database, Haitao Dan authored at least 14 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

The Oracle Problem When Testing from MSCs.

Haitao Dan, Robert M. Hierons

Comput. J., 2014

Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences.

Haitao Dan, Mark Harman, Jens Krinke, Lingbo Li, Alexandru Marginean, Fan Wu

Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis.

Mike Papadakis, Tejeddine Mouelhi, Haitao Dan

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

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

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Semantic mutation testing.

John A. Clark, Haitao Dan, Robert M. Hierons

Sci. Comput. Program., 2013

Welcome from the Chairs.

Márcio Eduardo Delamaro, Haitao Dan, Yue Jia

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

A framework for pathologies of message sequence charts.

Haitao Dan, Robert M. Hierons, Steve Counsell

Inf. Softw. Technol., 2012

Controllability Problems in MSC-Based Testing.

Haitao Dan, Robert M. Hierons

Comput. J., 2012

SMT-C: A Semantic Mutation Testing Tools for C.

Haitao Dan, Robert M. Hierons

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Semantic Mutation Analysis of Floating-Point Comparison.

Haitao Dan, Robert M. Hierons

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Conformance Testing from Message Sequence Charts.

Haitao Dan, Robert M. Hierons

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Non-local Choice and Implied Scenarios.

Haitao Dan, Robert M. Hierons, Steve Counsell

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2007

A Thread-tag Based Semantics for Sequence Diagrams.

Haitao Dan, Robert M. Hierons, Steve Counsell

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Thread-Based Analysis of Sequence Diagrams.

Haitao Dan, Robert M. Hierons, Steve Counsell

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007