Statistics
Publications
4
Citations
121
H-Index
4
Active since
2010
Affiliations
Haitao Dan is an author at Brunel University of London specializing in engineering, formal verification, and program analysis.
Publications per year
2010–2014
4
4
John A. Clark, Haitao Dan, Robert M. Hierons · Science of Computer Programming · 2011 · 32 citations
Mutation-based Testing, Engineering, Automated Reasoning +11
SMT-C: A Semantic Mutation Testing Tools for C
Haitao Dan, Robert M. Hierons · 2012 · 17 citations
Engineering, Genetics, Verification +17
John A. Clark, Haitao Dan, Robert M. Hierons · 2010 · 14 citations
1–4 of 4