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 × Belgium
1 × Hungary
1 × India
1 × Jamaica
1 × Portugal
1 × Romania
1 × Russia
1 × South Africa
1 × Sweden
1 × Switzerland
1 × The Netherlands
2 × Czech Republic
2 × France
2 × Germany
2 × Italy
2 × New Zealand
2 × Norway
21 × USA
4 × China
5 × Canada
Collaborated with:
L.Zhang T.Xie G.Huang D.Hao J.Sun H.Zhao W.Zhang X.Wang Y.Sun Y.Xiong F.Yang L.Zhang F.Chauvel H.Song Q.Wang H.Zhong B.Xie N.Zhang Y.Chen X.Cui G.Liang Y.Zhang W.Zhao Z.Jin S.Hou X.Cui Z.Hu K.Chen W.Shao G.Rothermel X.Chen J.Zhou L.Lan X.Liu Q.Wu B.Wang X.Sun W.Jiao M.Takeichi L.Sun Y.Wang Q.Gao J.Chen S.Meng W.Zhu S.Xiao J.Yang F.Chen K.Li L.Guo Q.Wu J.Chang X.Wu L.Yi C.Liu Y.Zou S.Cai L.Zhang Q.Zhao Y.Li M.Zhou C.You G.Yang Y.Song J.Hu N.Jiang J.Li J.Pei C.Guo L.Zhou L.Zhuang J.Luo R.Jiang W.Yuan X.Chen D.Zou R.Wang Z.Su H.Tang C.Wong H.Zhang Y.Dang D.Zhang E.Lan S.Yang L.Wu D.Lo J.Cheng J.X.Yu N.Tillmann J.d.Halleux D.Liu Y.Pan J.Shen H.Zhang J.Wang X.Li Z.Wang S.Yan T.X.0001 J.Z.0050 Y.Lou L.Z.0023 J.Zhang L.Ma M.Wang L.Zhang Y.Chen Y.Bai Y.Mi W.Yang Z.Zhou
Talks about:
base (18) test (14) model (13) compon (10) analysi (9) softwar (8) system (8) featur (8) architectur (7) approach (7)

♂ Person: Hong Mei

DBLP DBLP: Mei:Hong

Facilitated 12 volumes:

MoDELS 2014PrCo
ASE 2013ExpertReviewPa
ASE 2013PrBoard
MoDELS 2013PrCo
ASE 2012ExpertReviewPa
ASE 2012PrBoard
MoDELS 2012PrCo
ASE 2011PrCo
MoDELS 2011PrCo
ICSM 2008PrCh

Contributed to:

ICSE 20152015
POPL 20152015
PPoPP 20152015
ASE 20142014
ICSME 20142014
ESEC/FSE 20132013
ICSE 20132013
ASE 20122012
FSE 20122012
ICSE 20122012
OOPSLA 20122012
PPoPP 20122012
RE 20122012
ASE 20112011
MoDELS 20112011
SEKE 20112011
ASE 20102010
CBSE 20102010
FSE 20102010
ICSE 20102010
ICSM 20102010
MoDELS (1) 20102010
MoDELS (2) 20102010
QoSA 20102010
SEKE 20102010
ASE 20092009
CBSE 20092009
ECOOP 20092009
ESEC/FSE 20092009
ICSE 20092009
ICSM 20092009
ISSTA 20092009
RE 20092009
SEKE 20092009
CBSE 20082008
SEKE 20082008
WICSA 20082008
ASE 20072007
ICSM 20072007
SEKE 20072007
ICSE 20062006
RE 20062006
ASE 20052005
CBSE 20052005
ESEC/FSE 20052005
ICSM 20052005
MoDELS 20052005
RE 20052005
ICSM 20042004
SEFM 20042004
ICSM 20022002
TOOLS Asia 19981998
TOOLS Asia 19971997
ASE 20152015
ASE 20162016
FSE 20162016

Wrote 75 papers:

ICSE-v1-2015-GaoXMZYZXM #c #source code
Safe Memory-Leak Fixing for C Programs (QG, YX, YM, LZ, WY, ZZ, BX, HM), pp. 459–470.
ICSE-v1-2015-ZouWXZSM #algorithm #detection #float #search-based
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies (DZ, RW, YX, LZ, ZS, HM), pp. 529–539.
POPL-2015-TangWZXZM #analysis #data flow
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks (HT, XW, LZ, BX, LZ, HM), pp. 83–95.
PPoPP-2015-ChenCM #named #parallel
Tiles: a new language mechanism for heterogeneous parallelism (YC, XC, HM), pp. 287–288.
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.
ESEC-FSE-2013-LiangWXM #debugging #detection
Inferring project-specific bug patterns for detecting sibling bugs (GL, QW, TX, HM), pp. 565–575.
ICSE-2013-ZhangH0RM #testing
Bridging the gap between the total and additional test-case prioritization strategies (LZ, DH, LZ, GR, HM), pp. 192–201.
ASE-2012-WangD0ZLM #question
Can I clone this piece of code here? (XW, YD, LZ, DZ, EL, HM), pp. 170–179.
FSE-2012-WangZXXM #analysis #automation #collaboration #hybrid #web
Automating presentation changes in dynamic web applications via collaborative hybrid analysis (XW, LZ, TX, YX, HM), p. 16.
ICSE-2012-HaoZWMR #on-demand #reduction #testing
On-demand test suite reduction (DH, LZ, XW, HM, GR), pp. 738–748.
ICSE-2012-MengWZM #approach #evolution #framework #identification
A history-based matching approach to identification of framework evolution (SM, XW, LZ, HM), pp. 353–363.
OOPSLA-2012-Zhang0LZMY #android #java #on-demand #refactoring
Refactoring android Java code for on-demand computation offloading (YZ, GH, XL, WZ, HM, SY), pp. 233–248.
PPoPP-2012-ChenCM #array #named #parallel #representation
PARRAY: a unifying array representation for heterogeneous parallelism (YC, XC, HM), pp. 171–180.
RE-2012-Yi0ZJM #constraints #feature model #mining #modelling
Mining binary constraints in the construction of feature models (LY, WZ, HZ, ZJ, HM), pp. 141–150.
ASE-2011-LiuZCXM
Finding the merits and drawbacks of software resources from comments (CL, YZ, SC, BX, HM), pp. 432–435.
ASE-2011-WuLWXM #mining #specification
Iterative mining of resource-releasing specifications (QW, GL, QW, TX, HM), pp. 233–242.
MoDELS-2011-SongHCZSSM #incremental #modelling #qvt #runtime
Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
SEKE-2011-ZhangSSCM #design pattern #detection
Detecting Architecture Erosion by Design Decision of Architectural Pattern (LZ, YS, HS, FC, HM), pp. 758–763.
ASE-2010-LiangWWWXM #automation #effectiveness #set #static analysis
Automatic construction of an effective training set for prioritizing static analysis warnings (GL, LW, QW, QW, TX, HM), pp. 93–102.
ASE-2010-LiuZHJM #named #programming #web
iMashup: assisting end-user programming for the service-oriented web (XL, QZ, GH, ZJ, HM), pp. 285–288.
ASE-2010-WangLCZMY #dependence #graph #query
Matching dependence-related queries in the system dependence graph (XW, DL, JC, LZ, HM, JXY), pp. 457–466.
CBSE-2010-LiZYYM #component #deployment #middleware
Enabling on Demand Deployment of Middleware Services in Componentized Middleware (YL, MZ, CY, GY, HM), pp. 113–129.
FSE-2010-WangZXMS #constant #string #web
Locating need-to-translate constant strings in web applications (XW, LZ, TX, HM, JS), pp. 87–96.
ICSE-2010-SongHCSM #modelling #representation #runtime
SM@RT: representing run-time system data as MOF-compliant models (HS, GH, FC, YS, HM), pp. 303–304.
ICSE-2010-SongWXZM #debugging #detection #named
JDF: detecting duplicate bug reports in Jazz (YS, XW, TX, LZ, HM), pp. 315–316.
ICSE-2010-ZhangHHXM #question #random
Is operator-based mutant selection superior to random mutant selection? (LZ, SSH, JJH, TX, HM), pp. 435–444.
ICSM-2010-ZhangXZTHM #execution #generative #mutation testing #symbolic computation #testing
Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.
MoDELS-v1-2010-WangXHZZM #approach #consistency #feature model #modelling
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models (BW, YX, ZH, HZ, WZ, HM), pp. 181–195.
MoDELS-v2-2010-SongHXCSM #api #metamodelling #runtime
Inferring Meta-models for Runtime System Data from the Clients of Management APIs (HS, GH, YX, FC, YS, HM), pp. 168–182.
QoSA-2010-ChauvelSCHM #adaptation #architecture #self #using
Using QoS-Contracts to Drive Architecture-Centric Self-adaptation (FC, HS, XC, GH, HM), pp. 102–118.
SEKE-2010-ZhangHZJM #automation #eclipse #execution #synthesis #towards
Towards Automated Synthesis of Executable Eclipse Tutorials (NZ, GH, YZ, NJ, HM), pp. 591–598.
ASE-2009-ZhangZHZM #named #testing
Jtop: Managing JUnit Test Cases in Absence of Coverage Information (LZ, JZ, DH, LZ, HM), pp. 677–679.
ASE-2009-ZhongZXM #api #documentation #natural language #specification
Inferring Resource Specifications from Natural Language API Documentation (HZ, LZ, TX, HM), pp. 307–318.
CBSE-2009-LiCHMC #component #fault tolerance #model checking
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support (JL, XC, GH, HM, FC), pp. 69–86.
ECOOP-2009-ZhongXZPM #api #mining #named #recommendation
MAPO: Mining and Recommending API Usage Patterns (HZ, TX, LZ, JP, HM), pp. 318–343.
ESEC-FSE-2009-XiongHZSTM #automation #consistency #nondeterminism
Supporting automatic model inconsistency fixing (YX, ZH, HZ, HS, MT, HM), pp. 315–324.
ICSE-2009-HaoZZSM #debugging #interactive #named #visual notation
VIDA: Visual interactive debugging (DH, LZ, LZ, JS, HM), pp. 583–586.
ICSE-2009-WangZXMS #constant #string
Locating need-to-translate constant strings for software internationalization (XW, LZ, TX, HM, JS), pp. 353–363.
ICSE-2009-WangZXMS09a #automation #named #string
TranStrL: An automatic need-to-translate string locator for software internationalization (XW, LZ, TX, HM, JS), pp. 555–558.
ICSE-2009-ZhangHZM #ide #interactive #named
SmartTutor: Creating IDE-based interactive tutorials via editable replay (YZ, GH, NZ, HM), pp. 559–562.
ICSM-2009-ZhangZHZM #testing
Prioritizing JUnit test cases in absence of coverage information (LZ, JZ, DH, LZ, HM), pp. 19–28.
ISSTA-2009-ZhangHGXM #integer #linear #programming #testing #using
Time-aware test-case prioritization using integer linear programming (LZ, SSH, CG, TX, HM), pp. 213–224.
RE-2009-WangZZJM #approach #case study #feature model #modelling
A Use Case Based Approach to Feature Models’ Construction (BW, WZ, HZ, ZJ, HM), pp. 121–130.
SEKE-2009-ZhuSHM #component #quality
Documenting Quality Attributes of Software Components (WZ, YS, GH, HM), pp. 446–449.
CBSE-2008-SunHM #data access #validation
Validating Access Control Configurations in J2EE Applications (LS, GH, HM), pp. 64–79.
SEKE-2008-CuiSXM #architecture #design #reuse #using
A Decision-centric Architecture Design Method Facilitating the Contextually Capture and Reuse of Design Knowledge (XC, YS, SX, HM), pp. 321–326.
WICSA-2008-CuiSM #architecture #automation #design #synthesis #towards
Towards Automated Solution Synthesis and Rationale Capture in Decision-Centric Architecture Design (XC, YS, HM), pp. 221–230.
ASE-2007-XiongLHZTM #automation #model transformation #towards
Towards automatic model synchronization from model transformations (YX, DL, ZH, HZ, MT, HM), pp. 164–173.
ICSM-2007-HouZXMS #component #interface #testing
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software (SSH, LZ, TX, HM, JS), pp. 174–183.
SEKE-2007-SunZZJM #adaptation #component #distributed #self #towards
Towards Constructing High-available Decentralized Systems via Self-adaptive Components (XS, LZ, LZ, WJ, HM), pp. 296–301.
SEKE-2007-ZhangHLM #cost analysis #deployment
Pattern-based J2EE Application Deployment with Cost Analysis (NZ, GH, LL, HM), pp. 462–466.
ICSE-2006-YangM #development #industrial #re-engineering
Development of software engineering: co-operative efforts from academia, government and industry (FY, HM), pp. 2–11.
ICSE-2006-ZhongZM #comparison #reduction #testing
An experimental comparison of four test suite reduction techniques (HZ, LZ, HM), pp. 636–640.
RE-2006-ChenZZM #analysis #dependence #identification #requirements
Identification of Crosscutting Requirements Based on Feature Dependency Analysis (KC, HZ, WZ, HM), pp. 300–303.
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.
CBSE-2005-LanHMWMZC #architecture #component #deployment #scalability
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles (LL, GH, LM, MW, HM, LZ, YC), pp. 123–138.
ESEC-FSE-2005-ShenSHJSM #component #formal method #towards
Towards a unified formal model for supporting mechanisms of dynamic component update (JS, XS, GH, WJ, YS, HM), pp. 80–89.
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-2005-ZhaoZMS #clustering #requirements
Requirements Guided Dynamic Software Clustering (WZ, LZ, HM, JS), pp. 605–608.
MoDELS-2005-ZhangMZY #approach #component #feature model
Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach (WZ, HM, HZ, JY), pp. 248–263.
RE-2005-ChenZZM #approach #clustering #feature model #modelling #requirements
An Approach to Constructing Feature Models Based on Requirements Clustering (KC, WZ, HZ, HM), pp. 31–40.
RE-2005-ZhangMZ #approach #dependence #feature model #modelling #requirements
A Feature-Oriented Approach to Modeling Requirements Dependencies (WZ, HM, HZ), pp. 273–284.
ICSM-2004-LuoJZMS #analysis #case study #component #graph #object-oriented
An Experimental Study of Two Graph Analysis Based Component Capture Methods for Object-Oriented Systems (JL, RJ, LZ, HM, JS), pp. 390–398.
ICSM-2004-ZhaoZHMS #algorithm #feature model #scalability
Alternative Scalable Algorithms for Lattice-Based Feature Location (WZ, LZ, DH, HM, JS), p. 528.
SEFM-2004-Mei #architecture #lifecycle #named
ABC: Supporting Software Architectures in the Whole Lifecycle (HM), pp. 342–343.
ICSM-2002-WangCMY #evolution #online
An Application Server to Support Online Evolution (QW, FC, HM, FY), pp. 131–140.
TOOLS-ASIA-1998-YuanCXMY #analysis #c++ #database #information management #tool support
C++ Program Information Database for Analysis Tools (WY, XC, TX, HM, FY), pp. 173–180.
TOOLS-ASIA-1997-LiGMY #component #library #overview
An Overview of JB (Jade Bird) Component Library System JBCL (KL, LG, HM, FY), pp. 206–213.
TOOLS-ASIA-1997-WangMS #case study #design pattern #development #experience #using
Experience Report: Using Design Patterns in the Development of JB System (YW, HM, WS), pp. 159–165.
TOOLS-ASIA-1997-WuCMY #component #named #object-oriented
JBCDL: An Object-Oriented Component Description Language (QW, JC, HM, FY), pp. 198–205.
ASE-2015-GaoZWXZM #debugging
Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T) (QG, HZ, JW, YX, LZ, HM), pp. 307–318.
ASE-2016-ChenBHZ0XM #static analysis
Supporting oracle construction via static analysis (JC, YB, DH, LZ, LZ, BX, HM), pp. 178–189.
FSE-2016-LiWWYXM #code search #framework #javascript
Relationship-aware code search for JavaScript frameworks (XL, ZW, QW, SY, TX0, HM), pp. 690–701.
FSE-2016-ZhangLZHZM #branch #testing
Isomorphic regression testing: executing uncovered branches without test augmentation (JZ0, YL, LZ, DH, LZ0, HM), pp. 883–894.

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.