Travelled to:1 × Canada
1 × Germany
1 × India
1 × Italy
1 × United Kingdom
Collaborated with:R.M.Hierons S.Counsell K.Androutsopoulos D.Clark M.Harman
Talks about:semant (3) test (3) sequenc (2) analysi (2) mutat (2) relationship (1) comparison (1) scenario (1) softwar (1) entropi (1)
Person: Haitao Dan
DBLP: Dan:Haitao
Contributed to:
2014
20122011
20102007Wrote 6 papers:
- ICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing
- An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
- ICST-2012-DanH #analysis #comparison #float #mutation testing #semantics
- Semantic Mutation Analysis of Floating-Point Comparison (HD, RMH), pp. 290–299.
- ICST-2012-DanH12a #c #mutation testing #named #semantics #testing #tool support
- SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
- ICST-2011-DanH #consistency #sequence chart #testing
- Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.
- SEFM-2010-DanHC
- Non-local Choice and Implied Scenarios (HD, RMH, SC), pp. 53–62.
- SEFM-2007-DanHC #diagrams #semantics #sequence chart #thread
- A Thread-tag Based Semantics for Sequence Diagrams (HD, RMH, SC), pp. 173–182.