Haitao Dan - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Haitao Dan' as author, editor, or advisor:

MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation AnalysisMike Papadakis, Tejeddine Mouelhi, Haitao Dan. icst 2014: 155 [doi]
Semantic Mutation TestingJohn A. Clark, Haitao Dan, Robert M. Hierons. icst 2010: 100-109 [doi]
A Thread-tag Based Semantics for Sequence DiagramsHaitao Dan, Robert M. Hierons, Steve Counsell. SEFM 2007: 173-182 [doi]
The Oracle Problem When Testing from MSCsHaitao Dan, Robert M. Hierons. cj, 57(7):987-1001, 2014. [doi]
Thread-Based Analysis of Sequence DiagramsHaitao Dan, Robert M. Hierons, Steve Counsell. forte 2007: 19-34 [doi]
Welcome from the ChairsMárcio Eduardo Delamaro, Haitao Dan, Yue Jia. icst 2013: 27 [doi]
Semantic mutation testingJohn A. Clark, Haitao Dan, Robert M. Hierons. SCP, 78(4):345-363, 2013. [doi]
SMT-C: A Semantic Mutation Testing Tools for CHaitao Dan, Robert M. Hierons. icst 2012: 654-663 [doi]
Controllability Problems in MSC-Based TestingHaitao Dan, Robert M. Hierons. cj, 55(11):1270-1287, 2012. [doi]
An analysis of the relationship between conditional entropy and failed error propagation in software testingKelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman. ICSE 2014: 573-583 [doi]
A framework for pathologies of message sequence chartsHaitao Dan, Robert M. Hierons, Steve Counsell. INFSOF, 54(11):1283-1295, 2012. [doi]
Non-local Choice and Implied ScenariosHaitao Dan, Robert M. Hierons, Steve Counsell. SEFM 2010: 53-62 [doi]
Pidgin Crasher: Searching for Minimised Crashing GUI Event SequencesHaitao Dan, Mark Harman, Jens Krinke, Lingbo Li, Alexandru Marginean, Fan Wu. ssbse 2014: 253-258 [doi]
Semantic Mutation Analysis of Floating-Point ComparisonHaitao Dan, Robert M. Hierons. icst 2012: 290-299 [doi]
Conformance Testing from Message Sequence ChartsHaitao Dan, Robert M. Hierons. icst 2011: 279-288 [doi]

runs on WebDSL