Haitao Dan

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 1

Top Topics

Event Sequences

Conditional Entropy

Top Venues

Genom. Proteom. Bioinform.

Publications

Fang Chen, Bin Liu, Meirong Chen, Zefei Jiang, Zhiliang Zhou, Ping Wu, Meng Zhang, Huan Jin, Linsen Li, Liuyan Lu, Huan Shang, Lei Liu, Weiyue Chen, Jianfeng Xu, Ruitao Sun, Guangming Wang, Jiao Zheng, Jifang Qi, Bo Yang, Lidong Zeng, Yan Li, Hui Lv, Nannan Zhao, Wen Wang, Jinsen Cai, Yongfeng Liu, Weiwei Luo, Juan Zhang, Yanhua Zhang, Jicai Fan, Haitao Dan, Xuesen He, Wei Huang, Lei Sun, Qin Yan
A Two-color Single-molecule Sequencing Platform and Its Clinical Applications. Genom. Proteom. Bioinform. 22 (1) (2024)
Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman
An analysis of the relationship between conditional entropy and failed error propagation in software testing. ICSE (2014)
Haitao Dan, Robert M. Hierons
The Oracle Problem When Testing from MSCs. Comput. J. 57 (7) (2014)
Mike Papadakis, Tejeddine Mouelhi, Haitao Dan
MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis. ICST Workshops (2014)
Haitao Dan, Mark Harman, Jens Krinke, Lingbo Li, Alexandru Marginean, Fan Wu
Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences. SSBSE (2014)
John A. Clark, Haitao Dan, Robert M. Hierons
Semantic mutation testing. Sci. Comput. Program. 78 (4) (2013)
Márcio Eduardo Delamaro, Haitao Dan, Yue Jia
Welcome from the Chairs. ICST Workshops (2013)
Haitao Dan, Robert M. Hierons
Semantic Mutation Analysis of Floating-Point Comparison. ICST (2012)
Haitao Dan, Robert M. Hierons, Steve Counsell
A framework for pathologies of message sequence charts. Inf. Softw. Technol. 54 (11) (2012)
Haitao Dan, Robert M. Hierons
Controllability Problems in MSC-Based Testing. Comput. J. 55 (11) (2012)
Haitao Dan, Robert M. Hierons
SMT-C: A Semantic Mutation Testing Tools for C. ICST (2012)
Haitao Dan, Robert M. Hierons
Conformance Testing from Message Sequence Charts. ICST (2011)
Haitao Dan, Robert M. Hierons, Steve Counsell
Non-local Choice and Implied Scenarios. SEFM (2010)
John A. Clark, Haitao Dan, Robert M. Hierons
Semantic Mutation Testing. ICST Workshops (2010)
Haitao Dan, Robert M. Hierons, Steve Counsell
A Thread-tag Based Semantics for Sequence Diagrams. SEFM (2007)
Haitao Dan, Robert M. Hierons, Steve Counsell
Thread-Based Analysis of Sequence Diagrams. FORTE (2007)