Haitao Dan

16 papers A* 1A 3B 3C 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Two-color Single-molecule Sequencing Platform and Its Clinical Applications.
Genom. Proteom. Bioinform.
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
2014 A* conf
An analysis of the relationship between conditional entropy and failed error propagation in software testing.
ICSE
Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman
2014 — conf
MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis.
ICST Workshops
Mike Papadakis, Tejeddine Mouelhi, Haitao Dan
2014 B conf
Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences.
SSBSE
Haitao Dan, Mark Harman, Jens Krinke, Lingbo Li, Alexandru Marginean, Fan Wu
2014 J jnl
The Oracle Problem When Testing from MSCs.
Comput. J.
Haitao Dan, Robert M. Hierons
2013 J jnl
Semantic mutation testing.
Sci. Comput. Program.
John A. Clark, Haitao Dan, Robert M. Hierons
2013 — conf
Welcome from the Chairs.
ICST Workshops
Márcio Eduardo Delamaro, Haitao Dan, Yue Jia
2012 J jnl
A framework for pathologies of message sequence charts.
Inf. Softw. Technol.
Haitao Dan, Robert M. Hierons, Steve Counsell
2012 J jnl
Controllability Problems in MSC-Based Testing.
Comput. J.
Haitao Dan, Robert M. Hierons
2012 A conf
SMT-C: A Semantic Mutation Testing Tools for C.
ICST
Haitao Dan, Robert M. Hierons
2012 A conf
Semantic Mutation Analysis of Floating-Point Comparison.
ICST
Haitao Dan, Robert M. Hierons
2011 A conf
Conformance Testing from Message Sequence Charts.
ICST
Haitao Dan, Robert M. Hierons
2010 B conf
Non-local Choice and Implied Scenarios.
SEFM
Haitao Dan, Robert M. Hierons, Steve Counsell
2010 — conf
Semantic Mutation Testing.
ICST Workshops
John A. Clark, Haitao Dan, Robert M. Hierons
2007 B conf
A Thread-tag Based Semantics for Sequence Diagrams.
SEFM
Haitao Dan, Robert M. Hierons, Steve Counsell
2007 C conf
Thread-Based Analysis of Sequence Diagrams.
FORTE
Haitao Dan, Robert M. Hierons, Steve Counsell