BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dan:Haitao

Contributed to:

ICSE 20142014
ICST 20122012
ICST 20112011
SEFM 20102010
SEFM 20072007

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.