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: Zhao:Jianjun
Facilitated 3 volumes:
Contributed to:
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.