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 × Austria
1 × Cyprus
1 × France
1 × Japan
1 × New Zealand
1 × Poland
1 × Russia
1 × South Africa
1 × Spain
1 × United Kingdom
2 × Canada
2 × China
2 × Germany
2 × Italy
2 × Switzerland
5 × USA
Collaborated with:
Y.Chen B.Xu S.Zhang Y.Lin J.Cheng K.Ushijima Q.Sun H.Yang Z.Chen L.M.0003 Y.L.0003 X.Xie Z.Gu H.Zhong C.Zhang H.Shen J.Fang M.T.Görg M.C.Rinard Y.L.0008 Y.Zhou Z.Lin X.Du T.Su Q.Hu Q.Luo M.Hu X.Tang Z.Chen Q.Wang J.Zhou Y.Zhang H.Xu D.Yan S.Yang S.Yao W.C.Chu D.Marinov C.Sun Z.Su F.Lv H.Zhang J.Lou S.Wang D.Zhang X.Cheng Z.Peng L.Jiang H.Yu B.Yu H.Chen J.Yang Y.Zhang J.Fan X.Zhang P.Ou Q.Guo S.Chen H.Liu X.Li F.Juefei-Xu F.Zhang J.Sun M.Xue B.L.0026 C.Chen L.L.0029 Y.Wang
Talks about:
program (15) analysi (10) aspect (10) concurr (9) deep (7) base (6) approach (5) softwar (5) orient (5) depend (5)

♂ Person: Jianjun Zhao

DBLP DBLP: Zhao:Jianjun

Facilitated 3 volumes:

CSMR-WCRE 2014PrCo
ICMT 2012PrCo
SCAM 2008GCh

Contributed to:

ESEC/FSE 20132013
PEPM 20132013
ICSE 20122012
CC 20112011
ECOOP 20112011
ICST 20112011
FASE 20102010
ICSE 20102010
ASE 20092009
ICSM 20092009
ISSTA 20092009
ICSM 20082008
PASTE 20082008
SCAM 20082008
FASE 20042004
FASE 20032003
SEKE 20032003
SIGAda 20032003
Ada-Europe 20022002
ICSM 20022002
IWPC 20022002
ICSM 20012001
SCAM 20012002
CSMR 20002000
IWPC 19991999
CSMR 19981998
ICLP 19951995
ASE 20152015
ASE 20162016
ASE 20182018
ASE 20192019
ESEC/FSE 20192019
PLDI 20162016

Wrote 43 papers:

ESEC-FSE-2013-WangZCZZ #javascript #program analysis
Extracting URLs from JavaScript via program analysis (QW, JZ, YC, YZ, JZ), pp. 627–630.
PEPM-2013-SunCZ #analysis #constraints #locality #source code
Constraint-based locality analysis for X10 programs (QS, YC, JZ), pp. 137–146.
ICSE-2012-ZhangYZFZZO #api #automation #parametricity #recommendation
Automatic parameter recommendation for practical API usage (CZ, JY, YZ, JF, XZ, JZ, PO), pp. 826–836.
CC-2011-SunZC #analysis #java #points-to #probability
Probabilistic Points-to Analysis for Java (QS, JZ, YC), pp. 62–81.
ECOOP-2011-ZhangXZZC #estimation #object-oriented #source code
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs (CZ, HX, SZ, JZ, YC), pp. 510–532.
ICST-2011-ShenFZ #effectiveness #fault #named #ranking
EFindBugs: Effective Error Ranking for FindBugs (HS, JF, JZ), pp. 299–308.
FASE-2010-LuoZZH #approach #concurrent #lightweight
A Lightweight and Portable Approach to Making Concurrent Failures Reproducible (QL, SZ, JZ, MH), pp. 323–337.
ICSE-2010-ZhangYZCY #automation #debugging #generative #named
BPGen: an automated breakpoint generator for debugging (CZ, DY, JZ, YC, SY), pp. 271–274.
ASE-2009-LinTCZ #adaptation #approach #java #random testing #source code #testing
A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs (YL, XT, YC, JZ), pp. 221–232.
ICSM-2009-LinZZ #aspectj #graph #incremental
Incremental call graph reanalysis for AspectJ software (YL, SZ, JZ), pp. 306–315.
ISSTA-2009-GorgZ #aspectj #difference #identification #semantics #source code
Identifying semantic differences in AspectJ programs (MTG, JZ), pp. 25–36.
ICSM-2008-ZhangGLZ #aspectj #impact analysis #source code
Change impact analysis for AspectJ programs (SZ, ZG, YL, JZ), pp. 87–96.
ICSM-2008-ZhangGLZ08a #aspectj #automation #debugging #named
AutoFlow: An automatic debugging tool for AspectJ software (SZ, ZG, YL, JZ), pp. 470–471.
ICSM-2008-Zhao #aspect-oriented #challenge #maintenance #source code
Maintenance support for aspect-oriented programs: opportinuties and challenges (JZ), pp. 482–483.
PASTE-2008-ShenZZFY #aspectj #named
XFindBugs: eXtended FindBugs for AspectJ (HS, SZ, JZ, JF, SY), pp. 70–76.
PASTE-2008-ZhangLGZ #approach #effectiveness #hybrid #identification
Effective identification of failure-inducing changes: a hybrid approach (SZ, YL, ZG, JZ), pp. 77–83.
SCAM-2008-SunZ #analysis #points-to
Aspect-Aware Points-to Analysis (QS, JZ), pp. 143–152.
FASE-2004-ZhaoX #aspect-oriented
Measuring Aspect Cohesion (JZ, BX), pp. 54–68.
FASE-2003-ZhaoR #aspectj #behaviour #interface #named #specification
Pipa: A Behavioral Interface Specification Language for AspectJ (JZ, MCR), pp. 150–165.
SEKE-2003-ChenXCYZ #scalability #slicing #source code
Partial Slicing for Large Programs (ZC, BX, WCC, HY, JZ), pp. 204–207.
SIGAda-2003-XuCZ #ada
Measuring cohesion of packages in Ada95 (BX, ZC, JZ), pp. 62–67.
AdaEurope-2002-ChenBZY #ada #analysis #concurrent #dependence #source code
Static Dependency Analysis for Concurrent Ada 95 Programs (ZC, BX, JZ, HY), pp. 219–230.
ICSM-2002-ChenZBZY #analysis #approach #dependence #novel
A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis (ZC, YZ, BX, JZ, HY), pp. 377–384.
ICSM-2002-ZhouBZY #named
ICBMC: An Improved Cohesion Measure for Classes (YZ, BX, JZ, HY), pp. 44–53.
IWPC-2002-Zhao #aspect-oriented #slicing
Slicing Aspect-Oriented Software (JZ), pp. 251–260.
ICSM-2001-ZhaoCU #concurrent #dependence #logic programming #source code
A Program Dependence Model for Concurrent Logic Programs and its Applications (JZ, JC, KU), pp. 672–681.
SCAM-J-2001-ChenXYZ02 #ada #concurrent #detection
Concurrent Ada dead statements detection (ZC, BX, HY, JZ), pp. 733–741.
CSMR-2000-Zhao #approach #architecture #reuse
A Slicing-based Approach to Extracting Reusable Software Architectures (JZ), pp. 215–223.
IWPC-1999-Zhao #concurrent #java #slicing #source code
Slicing Concurrent Java Programs (JZ), pp. 126–133.
CSMR-1998-ZhaoCU #concurrent #dependence #maintenance #object-oriented #representation
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance (JZ, JC, KU), pp. 60–66.
CSMR-1998-ZhaoCU98a #concurrent #logic programming #metric #source code
A Metrics Suite for Concurrent Logic Programs (JZ, JC, KU), pp. 172–178.
ICLP-1995-ZhaoCU #analysis #concurrent #dependence #logic programming #source code
Program Dependence Analysis of Concurrent Logic Programs and Its Applications (JZ, JC, KU), p. 825.
ASE-2015-LinMZCZ #benchmark #concurrent #debugging #java #metric #named
JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T) (ZL, DM, HZ, YC, JZ), pp. 178–189.
ASE-2015-LvZLWZZ #api #code search #comprehension #effectiveness #named
CodeHow: Effective Code Search Based on API Understanding and Extended Boolean Model (E) (FL, HZ, JGL, SW, DZ, JZ), pp. 260–270.
ASE-2016-ChengPJZYZ #detection #mining
Mining revision histories to detect cross-language clones without intermediates (XC, ZP, LJ, HZ, HY, JZ), pp. 696–701.
ASE-2016-LinZCZ #api #detection #java #named
LockPeeker: detecting latent locks in Java APIs (ZL, HZ, YC, JZ), pp. 368–378.
ASE-2018-MaJZSXLCSLLZW #learning #multi #named #testing
DeepGauge: multi-granularity testing criteria for deep learning systems (LM0, FJX, FZ, JS, MX, BL0, CC, TS, LL0, YL0, JZ, YW), pp. 120–131.
ASE-2019-DuX000Z #analysis #framework #network
A Quantitative Analysis Framework for Recurrent Neural Network (XD, XX, YL0, LM0, YL0, JZ), pp. 1062–1065.
ASE-2019-GuoCXMHLLZL #deployment #development #empirical #framework #learning #platform #towards
An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms (QG, SC, XX, LM0, QH, HL, YL0, JZ, XL), pp. 810–822.
ASE-2019-Hu0XY0Z #framework #learning #mutation testing #testing
DeepMutation++: A Mutation Testing Framework for Deep Learning Systems (QH, LM0, XX, BY, YL0, JZ), pp. 1158–1161.
ASE-2019-XieCLM0Z #fuzzing #network
Coverage-Guided Fuzzing for Feedforward Neural Networks (XX, HC, YL0, LM0, YL0, JZ), pp. 1162–1165.
ESEC-FSE-2019-DuXLM0Z #analysis #learning #modelling #named
DeepStellar: model-based quantitative analysis of stateful deep learning systems (XD, XX, YL0, LM0, YL0, JZ), pp. 477–487.
PLDI-2016-ChenSSSZ #difference #implementation #testing #virtual machine
Coverage-directed differential testing of JVM implementations (YC, TS, CS, ZS, JZ), pp. 85–99.

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.