BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × France
1 × Hungary
1 × Italy
1 × New Zealand
1 × Sweden
1 × Switzerland
3 × Canada
3 × USA
Collaborated with:
L.Zhang H.Mei L.Zhang L.Z.0023 J.Sun J.Chen H.Zhang Y.Xiong X.Wu G.Rothermel J.Zhou T.Lan W.Zhao J.Z.0050 D.Zhang Y.Lou J.C.0003 B.Xie C.Guo H.Zhong S.Han T.Zhu M.Zhu C.Wong Y.Pan J.Lin C.Luo S.Cai K.Su G.Wang J.Han P.Sun W.Hu S.Khurshid J.Zhang Y.Bai J.Zhou X.Wang X.He Q.Lin F.Gao Z.Xu Y.Dang
Talks about:
test (16) base (6) local (4) fault (4) priorit (3) generat (3) analysi (3) execut (3) case (3) bug (3)

Person: Dan Hao

DBLP DBLP: Hao:Dan

Contributed to:

ESEC/FSE 20152015
ASE 20142014
ICSME 20142014
ECOOP 20132013
ICSE 20132013
ICSE 20122012
SEKE 20122012
ASE 20092009
ICSE 20092009
ICSM 20092009
ICSE 20062006
ASE 20052005
ICSM 20052005
ICSM 20042004
ASE 20152015
ASE 20162016
FSE 20162016
ESEC/FSE 20182018
ASE 20192019
ESEC/FSE 20192019
ECOOP 20182018

Wrote 23 papers:

ESEC-FSE-2015-XiongH0ZZL
Inner oracles: input-specific assertions on internal states (YX, DH, LZ, TZ, MZ, TL), pp. 902–905.
ASE-2014-ZhangCHXXZM #polynomial #search-based
Search-based inference of polynomial metamorphic relations (JZ, JC, DH, YX, BX, LZ, HM), pp. 701–712.
ICSME-2014-WongXZHZM #analysis #fault #locality #segmentation
Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis (CPW, YX, HZ, DH, LZ, HM), pp. 181–190.
ECOOP-2013-HaoLZG0 #debugging #question
Is This a Bug or an Obsolete Test? (DH, TL, HZ, CG, LZ), pp. 602–628.
ICSE-2013-ZhangH0RM #testing
Bridging the gap between the total and additional test-case prioritization strategies (LZ, DH, LZ, GR, HM), pp. 192–201.
ICSE-2012-HaoZWMR #on-demand #reduction #testing
On-demand test suite reduction (DH, LZ, XW, HM, GR), pp. 738–748.
SEKE-2012-HaoWZ #classification #empirical #machine learning
An Empirical Study of Execution-Data Classification Based on Machine Learning (DH, XW, LZ), pp. 283–288.
ASE-2009-ZhangZHZM #named #testing
Jtop: Managing JUnit Test Cases in Absence of Coverage Information (LZ, JZ, DH, LZ, HM), pp. 677–679.
ICSE-2009-HaoZZSM #debugging #interactive #named #visual notation
VIDA: Visual interactive debugging (DH, LZ, LZ, JS, HM), pp. 583–586.
ICSM-2009-ZhangZHZM #testing
Prioritizing JUnit test cases in absence of coverage information (LZ, JZ, DH, LZ, HM), pp. 19–28.
ICSE-2006-Hao #fault #interactive #locality #testing
Testing-based interactive fault localization (DH), pp. 957–960.
ASE-2005-HaoPZZMS #approach #fault #locality #testing
A similarity-aware approach to testing based fault localization (DH, YP, LZ, WZ, HM, JS), pp. 291–294.
ICSM-2005-HaoZZMS #case study #fault #locality #reduction #testing #using
Eliminating Harmful Redundancy for Testing-Based Fault Localization Using Test Suite Reduction: An Experimental Study (DH, LZ, HZ, HM, JS), pp. 683–686.
ICSM-2004-ZhaoZHMS #algorithm #feature model #scalability
Alternative Scalable Algorithms for Lattice-Based Feature Location (WZ, LZ, DH, HM, JS), p. 528.
ASE-2015-LinLCSH0 #algorithm #combinator #generative #metaheuristic #named #performance #testing
TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T) (JL, CL, SC, KS, DH, LZ), pp. 494–505.
ASE-2016-ChenBHZ0XM #static analysis
Supporting oracle construction via static analysis (JC, YB, DH, LZ, LZ, BX, HM), pp. 178–189.
FSE-2016-ZhangLZHZM #branch #testing
Isomorphic regression testing: executing uncovered branches without test augmentation (JZ0, YL, LZ, DH, LZ0, HM), pp. 883–894.
ESEC-FSE-2018-ChenLZZWH0 #analysis #optimisation
Optimizing test prioritization via test distribution analysis (JC0, YL, LZ, JZ, XW, DH, LZ0), pp. 656–667.
ESEC-FSE-2018-ZhangHHZZ #automation #refactoring #spreadsheet
Automated refactoring of nested-IF formulae in spreadsheets (JZ0, SH, DH, LZ0, DZ), pp. 833–838.
ASE-2019-ChenHLZHGXDZ #online #scalability
Continuous Incident Triage for Large-Scale Online Service Systems (JC, XH, QL, HZ, DH, FG, ZX, YD, DZ), pp. 364–375.
ASE-2019-ChenWHXZZ #compilation #generative
History-Guided Configuration Diversification for Compiler Test-Program Generation (JC, GW, DH, YX, HZ, LZ), pp. 305–316.
ESEC-FSE-2019-ChenHSZHZ #compilation #debugging #effectiveness #generative
Compiler bug isolation via effective witness test program generation (JC, JH, PS, LZ, DH, LZ0), pp. 223–234.
ECOOP-2018-ChenHZHK0 #execution #learning #program transformation #symbolic computation
Learning to Accelerate Symbolic Execution via Code Transformation (JC0, WH, LZ, DH, SK, LZ0), p. 27.

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.