See also Google Scholar Citations and DBLP.
1. Jianlang
Chen, Xuhong Ren, Qing Guo, Felix Juefei-Xu,
Di Lin, Wei Feng, Lei Ma, Jianjun Zhao.
LRR: Language-Driven
Resamplable Continuous Representation against
Adversarial Tracking Attacks.
In
Proc. The 11th International Conference on Learning Representations (ICLR
2024), Vienna, Austria, May 7-11, 2024. (to appear)
2. Xiaoyu Guo,
Jianjun Zhao, Pengzhan Zhao.
On Repairing Quantum Programs Using ChatGPT.
In
Proc. 5th International Workshop on Quantum Software Engineering (Q-SE 2024),
Lisbon, Portugal, April 2024. (to appear)
3.
Peixun Long, Jianjun Zhao.
Testing
Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing.
In
ACM Transactions on Software Engineering and Methodology, March 2024.
(A
previous version appeared as “Testing Quantum Programs with Multiple Subroutines” by Peixun Long and Jianjun Zhao. arXiv preprint arXiv: 2308.09206, August 19,
2022.)
4. Peixun Long, Jianjun Zhao.
Equivalence,
Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs.
In
Journal of Systems and Software, Elsevier, February 15, 2024. (accepted)
5.
Jiawei Ren, Yulei Sui, Xiao Cheng, Yuan Feng,
Jianjun Zhao.
Dynamic Transitive Closure-Based Static Analysis
through the Lens of Quantum Search.
In
ACM Transactions on Software Engineering and Methodology, January 2024.
6. Fuyuan
Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao.
DeepRover: A
Query-efficient Blackbox Attack for Deep Neural Networks.
In
Proc. 31st ACM Joint Meeting on European Software Engineering Conference and
Symposium on the Foundations of Software Engineering (ESEC/FSE 2023), San
Francisco, California, USA, December 3-9, 2023. (accepted)
7. Pengzhan
Zhao, Zhongtao Miao, Shuhan
Lan, and Jianjun Zhao.
In
Journal of Systems and Software, Vol.205, Elsevier, November 2023.
8. (A
previous version appeared as “Bugs4Q: A Benchmark
of Real Bugs for Quantum Programs”
by Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao, Shuhan Lan. In Proc. 36th IEEE/ACM International Conference
on Automated Software Engineering (ASE 2021), NIER Track, 1373-1376, November
14-20, 2021.)
9.
Jianjun Zhao.
On Refactoring
Quantum Programs in Q#.
In
Proc. 2023 IEEE International Conference on Quantum Computing and Engineering
(QCE 2023), Vol.2, pp.169-172, September 20, 2023.
10. Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei
Ma, Jianjun Zhao.
Generative
Model-Based Testing on Decision-Making Policies.
In
Proc. 38th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2023), pp. 243-254, Kirchberg, Luxembourg,
September 11-15, 2023.
11.
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang,
Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa.
QuraTest: Integrating Quantum
Specific Features in Quantum Program Testing.
In Proc. 38th IEEE/ACM International Conference on Automated Software
Engineering (ASE 2023), pp. 1149-1161, Kirchberg, Luxembourg,
September 11-15, 2023.
12.
Junjie Luo, Jianjun
Zhao.
Enhancing
Code Safety in Quantum Intermediate Representation.
In
Proc. 38th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2023), pp. 1771-1775, NIER Track, Kirchberg,
Luxembourg, September 11, 2023.
(An
extended version appeared as “Formalization of Quantum Intermediate
Representations for Code Safety” by Junjie Luo and Jianjun Zhao. arXiv preprint arXiv: 2303.14500, March 25, 2023.)
13. Zihan
Wang, Pengbo Nie, Xinyuan
Miao, Yuting Chen, Chengcheng
Wan, Lei Bu, and Jianjun Zhao.
GenCoG: A
DSL-Based Approach to Generating Computation Graphs for TVM Testing.
In
Proc. 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
(ISSTA 2023), pp.904-916, Seattle, Washington, USA, July 17-21, 2023.
14. Pengzhan
Zhao, Xiongfei Wu, Junjie Luo, Zhuo
Li, and Jianjun Zhao.
An Empirical Study of Bugs in Quantum Machine Learning Frameworks.
In
Proc. IEEE International Conference on Quantum Software (QSW 2023), pp.68-75,
Chicago, Illinois, USA, July 2-8, 2023.
(Best Student Paper Award)
15. Tiancheng Jin,
Jianjun Zhao.
ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold.
In
Proc. IEEE International Conference on Quantum Software (QSW 2023), pp.128-137,
Chicago, Illinois, USA, July 2-8, 2023.
(Best Paper Award)
16. Yang
Hou, Qing Guo, Yihao Huang, Xiaofei
Xie, Lei Ma, Jianjun Zhao.
Evading DeepFake Detectors via Adversarial
Statistical Consistency.
In
Proc. IEEE / CVF Computer Vision and Pattern Recognition Conference (CVPR
2023), pp. 12271-12280, Vancouver, Canada, June 18-22, 2023.
17. Pengzhan
Zhang, Xiongfei Wu, Zhuo
Li, Jianjun Zhao.
QChecker: Detecting Bugs in Quantum Programs via Static Analysis.
In
Proc. 4th International Workshop on Quantum Software Engineering (Q-SE 2023),
Melbourne, Australia, pp.50-57, 14 May 2023.
18. Shangzhou Xia,
Jianjun Zhao.
Static Entanglement Analysis of Quantum Programs.
In
Proc. 4th International Workshop on Quantum Software Engineering (Q-SE 2023),
Melbourne, Australia, pp.42-49, 14 May 2023.
19. Ziyi
Cheng, Baoyuan Wu, Zhenya
Zhang, and Jianjun Zhao.
TAT:
Targeted Backdoor Attacks against Visual Object Tracking.
In
Pattern Recognition, Elsevier, Vol. 142, October 2023.
20. Junjie
Luo, Jianjun Zhao.
Formalization of Quantum Intermediate Representations for Code Safety.
arXiv
preprint arXiv: 2303.14500, March 25, 2023.
21. Hua
Qi, Zhijie Wang, Qing Guo, Jianlang
Chen, Felix Juefei-Xu, Fuyuan
Zhang, Lei Ma, and Jianjun Zhao.
ArchRepair:
Block-Level Architecture-Oriented Repairing for Deep Neural Networks.
In
ACM Transactions on Software Engineering and Methodology, Vol. 32, No. 5, pp.
1-31, July 2023.
1. Xiongfei Wu,
Jiaming Ye, Ke Chen, Xiaofei Xie, Yujing
Hu, Ruochen Huang, Lei Ma, and Jianjun Zhao.
Widget
Detection-based Testing for Industrial Mobile Games.
In
Proc. 45th International Conference on Software Engineering (ICSE 2023), SEIP
Track, pp.173-184, Melbourne, Australia, 14-20 May 2023.
22. Zhuo Li, Derui Zhu, Yujing Hu, Xiaofei Xie, Lei Ma, Yan Zheng, Yan Song, Yingfeng Chen, and Jianjun Zhao.
Neural
Episodic Control with State Abstraction.
In
Proc. The 11th International Conference on Learning Representations (ICLR
2023), Kigali, Rwanda, May 1-5, 2023. (Spotlight)
23. Zhenya Zhang, Deyun
Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao.
FalsifAI: Falsification of AI-Enabled
Hybrid Control Systems Guided by Time-Aware Coverage Criteria.
In
IEEE Transactions on Software Engineering, Vol.49, No.4, pp.1842-1859, April
2023.
24. Zeming
Dong, Qiang Hu, Yuejun Guo,
Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, and Jianjun Zhao.
MixCode:
Enhancing Code Classification by Mixup-Based Data
Augmentation.
In
Proc. 30th IEEE International Conference on Software Analysis, Evolution and
Reengineering (SANER 2023), p.379-390, Macao SAR, China, March 21-24, 2023.
25. Bing
Yu, Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jianjun Zhao.
DeepRepair:
Style-Guided Repairing for Deep Neural Networks in the Real-World Operational
Environment.
In
IEEE Transactions on Reliability, p.1401-1416, December 2022.
26. Kentaro
Murakami, Jianjun Zhao.
Automated Synthesis of Quantum Circuits Using Neural Network.
In
Proc. 2022 IEEE 22nd International Conference on Software Quality, Reliability
and Security (QRS 2022), pp.694-672, December 5-9, 2022. (Virtually)
27. Xuhong Ren, Jianlang
Chen, Felix Juefei-Xu, Wanli
Xue, Qing Guo, Lei Ma, Jianjun Zhao, and Shengyong
Chen.
Core-Failure-Set Guided DARTS for
Network Robustness to Common Corruptions.
In Pattern Recognition, Vol. 131,
Elsevier, November 2022.
28. Jiaming Ye, Mingliang
Ma, Yun Lin, Lei Ma, Yinxing Xue, and Jianjun Zhao.
Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability
signatures.
In
Journal of Systems and Software, Vol.192, Elsevier,
October 2022.
29. Xiongfei Wu, Jinqiu
Yang, Lei Ma, Yinxing Xue, and Jianjun Zhao.
On the usage and development of
deep learning compilers: an empirical study on TVM.
In Empirical Software Engineering,
Vol. 27, No. 7, pp.172-206, Springer, September 2022.
30. Yinxing Xue, Jiaming Ye, Wei Zhang, Jun
Sun, Lei Ma, Haijun Wang, and Jianjun Zhao.
xFuzz: Machine Learning Guided
Cross-Contract Fuzzing.
In
IEEE Transactions on Dependable and Secure Computing, June 2022.
31. Junjie Luo, Pengzhan Zhao, Zhongtao Miao, Shuhan Lan, and
Jianjun Zhao.
A Comprehensive Study of Bug Fixes
in Quantum Programs.
In
Proc. 1st International Workshop on Quantum Software Analysis, Evolution and
Reengineering (Q-SANER 2022) co-located with SANER 2022, pp.1228-1235, Match
18, 2022.
32.
Pengzhan Zhao, Jianjun Zhao, Zhongtao
Miao, Shuhan Lan.
Bugs4Q: A Benchmark of Real Bugs
for Quantum Programs.
In
Proc. 36th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2021), NIER Track, 1373-1376, November 14-20, 2021.
33.
Xiaoting Du, Zheng Zheng,
Lei Ma, Jianjun Zhao.
An Empirical Study on Common Bugs
in Deep Learning Compilers.
In Proc. 32nd IEEE International
Symposium on Software Reliability Engineering (ISSRE 2021), pp.184-195, October
25-28, 2021. (Virtually)
34.
Qing Guo, Ziyi Cheng, Felix
Juefei-Xu, Lei Ma, Xiaofei
Xie, Yang Liu, and Jianjun Zhao.
Learning to
Adversarially Blur Visual Object Tracking.
In Proc. International Conference
on Computer Vision, (ICCV 2021), p.10839-10848, October 11-17, Montreal,
Canada, October 11-17, 2021.
35.
Jiaming Ye, Ke Chen, Xiaofei
Xie, Lei Ma, Ruochen Huang, Yingfeng
Chen, Yinxing Xue, Jianjun Zhao.
An
Empirical Study of GUI Widget Detection for Industrial Mobile Games.
In Proc. ACM Joint Meeting on
European Software Engineering Conference and Symposium on the Foundations of
Software Engineering (ESEC/FSE 2021), Industry Track, pp.1427-1437, August 19-28,
2021.
36.
Zhenya Zhang, Deyun
Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo and Jianjun Zhao.
Effective
Hybrid System Falsification Using Monte Carlo Tree Search Guided by
QB-Robustness.
In Proc. 33rd International
Conference on Computer-Aided Verification, 2021 (CAV 2021), pp. 595-618, July
18-24, 2021.
37.
Ziyi Cheng, Xuhong
Ren, Felix Juefei-Xu, Wanli
Xue, Qing Guo, Lei Ma, Jianjun Zhao.
Deepmix:
Online auto data augmentation for robust visual object tracking.
In Proc. 2021 IEEE International
Conference on Multimedia and Expo (ICME 2021), pp.1-6, July 5-9, 2021.
38.
Zhenya Zhang, Deyun
Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao.
On the
Effectiveness of Signal Rescaling in Hybrid System Falsification.
In Proc. 13th NASA Formal Methods
Symposium (NFM 2021), pp.392-399, July 18-24, 2021.
39.
Jianjun Zhao.
Some Size and Structure Metrics for
Quantum Software.
In Proc. Second International
Workshop on Quantum Software Engineering (Q-SE 2021), p.22-27, June 1-2, 2021.
40.
Pengzhan Zhao, Jianjun Zhao, and Lei Ma.
Identifying Bug Patterns in Quantum
Programs.
In Proc. Second International
Workshop on Quantum Software Engineering (Q-SE 2021), p.16-21, June 1-2, 2021.
41.
Qing Guo, Jingyang Sun,
Felix Juefei-Xu, Lei Ma, Xiaofei
Xie, Wei Feng, Yang Liu, and Jianjun Zhao.
EfficientDeRain:
Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image
Deraining.
In Proc. 35th AAAI Conference on
Artificial Intelligence (AAAI 2021) , Vol. 35, No. 2,
pp.1487-1495, February 2-9, 2021.
42.
Lingjun Zhou, Bing Yu, David Berend, Xiaofei Xie, Xiaohong Li, Jianjun
Zhao, and Zhiyong Feng.
An Empirical
Study on Robustness of DNNs with Out-of-Distribution Awareness.
In Proc. 27th Asia-Pacific
Software Engineering Conference (APSEC 2020), pp.266-275, December 1-4, 2020.
(Best Paper Award)
43.
Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu,
Jianjun Zhao.
Marble:
Model-Based Robustness Analysis of Stateful Deep Learning Systems.
The 35th IEEE/ACM International Conference on
Automated Software Engineering (ASE 2020), pp.423-435, Melbourne, Australia,
September 21-25, 2020.
44.
David Berend, Xiaofei Xie, Lei Ma, Lingjun
Zhou, Yang Liu, Chi Xu, and Jianjun Zhao.
Cats Are Not
Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness.
In Proc. 35th IEEE/ACM International Conference
on Automated Software Engineering (ASE 2020), pp.1041-1052,
Melbourne, Australia, September 21-25, 2020.
45.
Xuhong Ren, Bing Yu, Hua Qi, Felix Juefei-Xu, Zhuo Li, Wanli Xue, Lei Ma, and
Jianjun Zhao.
Few-Shot
Guided Mix for DNN Repairing.
In Proc. 36th IEEE International Conference on
Software Maintenance and Evolution (ICSME 2020), NIER Track, pp.717-721,
Adelaide, Australia, September 27-October 3, 2020.
46.
Hua Qi, Qing Guo,
Felix Juefei-Xu, Xiaofei
Xie, Lei Ma, Wei Feng, Yang Liu, and Jianjun Zhao.
DeepRhythm:
Exposing DeepFakes with Attentional Visual Heartbeat Rhythms.
In Proc. The 28th ACM International Conference
on Multimedia (ACM MM 2020), pp. 4318-4327,
Seattle, USA, October 12-16, 2020.
47.
Jianjun Zhao.
Quantum Software Engineering:
Landscapes and Horizons.
arXiv preprint
arXiv:2007.07047, July 2020.
48.
Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu,
Jianjun Zhao, and Meng Sun.
Towards
Characterizing Adversarial Defects of Deep Learning Software from the Lens of
Uncertainty.
In Proc. 42nd International Conference on
Software Engineering (ICSE 2020), Seoul, South Korea 23-29 May 2020.
49.
Xiongfei Wu, Liangyu Qin, Bing Yu, Xiaofei Xie, Lei Ma, Yinxing Xue,
Yang Liu, and Jianjun Zhao
How are Deep
Learning Models Similar? An Empirical Study on Clone Analysis of Deep Learning
Software.
In Proc. 28th International Conference on
Program Comprehension (ICPC 2020), pp.172-183, July 2020.
50.
Yang Liu, Lei Ma, and
Jianjun Zhao.
Secure Deep
Learning Engineering: A Road towards Quality Assurance of Intelligent Systems.
In Proc. 21st International Conference on
Formal Engineering Methods (ICFEM 2019), pp.3-15, Shenzhen, China, November
5-9, 2019.
51.
Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu,
and Jianjun Zhao.
DeepMutation++:
a Mutation Testing Framework for Deep Learning Systems.
In Proc. 34th IEEE/ACM Conference on Automated
Software Engineering (ASE 2019), (Tool Demo Track), pp.1158-1161, San Diego,
California, USA, November 11-15, 2019.
52.
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu,
and Jianjun Zhao.
A
Quantitative Analysis Framework for Recurrent Neural Network.
In Proc. 34th IEEE/ACM Conference on Automated
Software Engineering (ASE 2019), (Tool Demo Track), pp.1062-1065, San Diego,
California, USA, November 11-15, 2019.
53.
Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu,
and Jianjun Zhao.
DeepHunter: A
Coverage-Guided Fuzzer for Deep Neural Networks.
In Proc. 34th IEEE/ACM Conference on Automated
Software Engineering (ASE 2019), (Tool Demo Track), pp.1162-1165, San Diego,
California, USA, November 11-15, 2019.
54.
Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu,
Jianjun Zhao, Xiaohong Li.
In Proc. 34th IEEE/ACM Conference on Automated
Software Engineering (ASE 2019), pp.810-822, San Diego, California, USA,
November 11-15, 2019.
55.
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu and
Jianjun Zhao.
DeepStellar:
Model-Based Quantitative Analysis of Stateful Deep Learning Systems.
In
Proc. 27th ACM Joint European Software Engineering Conference and Symposium on
the Foundations of Software Engineering (ESEC/FSE 2019), pp.477-487, Tallinn,
Estonia, August 26-30, 2019.
56.
Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin,
and Simon See.
DeepHunter: A
Coverage-Guided Fuzz Testing Framework for Deep Neural Networks.
In
Proc. 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
(ISSTA 2019), pp.146-157, Beijing, China, July 15-19, 2019.
57.
Chao Xie, Hua Qi, Lei
Ma, and Jianjun Zhao.
DeepVisual: A
Visual Programming Tool for Deep Learning Systems.
In
Proc. 27th IEEE/ACM International Conference on Program Comprehension (ICPC
2019), pp.130-134, Tools Demo Track, Montreal, Canada, May 25-26, 2019.
58.
WeizhaoYuan, Hoang H. Nguyen, Lingxiao Jiang, Yuting Chen, Jianjun Zhao, and Haibo
Yu.
API
Recommendation for Event-Driven Android Application Development.
In Information and Software Technology,
Vol.107, pp.30-47, March 2019.
59.
Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, and Jianjun Zhao.
DeepCT:
Tomographic Combinatorial Testing for Deep Learning Systems.
In Proc. 26th IEEE International Conference on
Software Analysis, Evolution, and Reengineering (SANER 2019), pp.535-539, ERA
Track, Hangzhou, China, February 24-27, 2019.
60.
Qiang Hu, Lei Ma, and Jianjun Zhao.
DeepGraph: A
PyCharm Tool for Visualizing and Understanding Deep Learning Models.
In Proc. 25th Asia-Pacific Software Engineering
Conference (APSEC 2018), ERA Track, pp.628-632, Nara, Japan, December 4-7,
2018.
61.
Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu,
Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang.
DeepMutation:
Mutation Testing of Deep Learning Systems.
In
Proc. 29th IEEE International Symposium on Software Reliability Engineering
(ISSRE 2018), pp.100-111, Memphis, TN, USA, October 15-18, 2018.
62.
Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Chunyang
Chen, Ting Su, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao, Yadong
Wang.
DeepGauge:
Multi-Granularity Testing Criteria for Deep Learning Systems.
In Proc. 33th IEEE/ACM
Conference on Automated Software Engineering (ASE 2018), pp.120-131,
Montpellier, French, September 3-7, 2018.
(ACM SIGSOFT Distinguished Paper
Award)
63.
Ziyi Lin, Hao Zhong, Yuting Chen, and Jianjun
Zhao.
LockPeeker: Detecting
Latent Locks in Java APIs.
In Proc. 31th IEEE/ACM Conference on Automated Software Engineering (ASE 2016),
pp.368-278, Singapore, September 3-7, 2016.
64.
Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao
Zhong, Haibo Yu, and Jianjun Zhao.
Mining
Revision Histories to Detect Cross-Language Clones without Intermediates.
In
Proc. 31th IEEE/ACM Conference on Automated Software
Engineering (ASE 2016), (Short Paper), pp.696-701, Singapore, September 3-7,
2016.
65.
Xiao Cheng, Linxiao Jiang, Hao Zhong, Haibo
Yu, and Jianjun Zhao.
On the Feasibility of
Detecting Cross-Platform Code Clones via Identifier Similarity.
In
Proc. Fifth International Workshop on Software Mining (SoftwareMining
2016, co-located with ASE 2016), pp.39-42, Singapore, September 3, 2016.
66.
Xiao Cheng, Hao
Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao.
Rule-Directed Code
Clone Synchronization.
In
Proc. 24th International Conference on Program Comprehension (ICPC 2016),
pp.1-10, Austin, Texas, USA, May 16-17, 2016.
67.
Lei Ma, Cheng Zhang,
Bing Yu, Jianjun Zhao.
Retrofitting
Automatic Testing through Library Tests Reusing.
In
Proc. 24th International Conference on Program Comprehension (ICPC 2016),
(Short Paper), pp.1-4, Austin, Texas, USA, May 16-17, 2016.
68.
Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao.
Coverage-Directed
Differential Testing of JVM Implementations.
In
Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation
(PLDI 2016), pp.85-99, Santa Barbara, CA, June 13-17, 2016.
69.
Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu
Liu, Hao Zhong, and Jianjun Zhao.
Supporting Selective
Undo for Refactoring.
In
Proc. 23rd IEEE International Conference on Software Analysis, Evolution, and
Reengineering (SANER 2016), pp.13-23, Osaka, Japan, March 2016.
70.
Jiabin Ye, Cheng Zhang, Lei Ma, Haibo Yu, and
Jianjun Zhao.
Efficient and
Precise Dynamic Slicing for Client-Side JavaScript Programs.
In
Proc. 23rd IEEE International Conference on Software Analysis, Evolution, and
Reengineering (SANER 2016), pp.449-459, Osaka, Japan, March 2016.
(Best Paper Candidate Award)
71.
Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, and Jianjun Zhao.
JaConTeBe: A Benchmark
Suite of Real-World Java Concurrency Bugs.
In
Proc. 30th IEEE/ACM Conference on Automated Software Engineering (ASE 2015),
pp.71-80, Lincoln, NE, November 2015.
72.
Fei Lv, Hongyu Zhang, Jianguang Lou, Shaowei Wang, Dongmei Zhang, and Jianjun
Zhao.
CodeHow: Effective
Code Search Based on API Understanding and Extended Boolean.
In
Proc. 30th IEEE/ACM Conference on Automated Software Engineering (ASE 2015),
pp.260-270, Lincoln, NE, November 2015.
73.
Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao.
Extracting URLs from
JavaScript via program analysis.
In
Proc. 9th joint meeting of the European Software Engineering Conference and the
ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE
2013), New Ideas Track, pp.627-630, Saint Petersburg, Russia, August 18-26,
2013.
74.
Qiang Sun, Yuting Chen, and Jianjun Zhao.
Constraint-Based
Locality Analysis for X10 Programs.
In
Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation
(PEPM 2013), pp.137-146, Rome, Italy, January 21-22, 2013.
75.
Cheng Zhang, Longwen Lu, Hucheng Zhou, Jianjun Zhao, and Zheng Zhang.
MoonBox: Debugging
with Online Slicing and Dryrun.
In
Proc. 3rd ACM SIGOPS Asia-Pacific Workshop on Systems (APSys
2012), Seoul, South Korea, July 23-24, 2012.
76.
Longwen Lu, Cheng Zhang, Jianjun Zhao.
Soot-based Implementation
of a Demand-Driven Reaching Definitions Analysis.
In Proc. ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012), PLDI 2012
Workshop, pp.21-26, June 14, 2012.
77.
Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou.
Automatic
Parameter Recommendation for Practical API Usage.
In Proc. 34th International Conference on Software Engineering (ICSE
2012), pp.826-836, Zurich, Switzerland, June 2-9, 2012.
78.
Cheng Zhang, Hao Xu,
Sai Zhang, Jianjun Zhao, and Yuting Chen.
Frequency
Estimation of Virtual Call Targets for Object-Oriented Programs.
In Proc. 25th European Conference on Object-Oriented Programming (ECOOP
2011), pp.510-532, Lancaster, UK, July 25-29 3, 2011.
79.
Cheng Zhang, Zhenyu Guo, Ming Wu, Longwen Lu,
Yu Fan, Jianjun Zhao, and Zheng Zhang.
AutoLog: Facing Log
Redundancy and Insufficiency.
In
Proc. 2nd ACM SIGOPS Asia-Pacific Workshop on Systems (APSys
2011), Shanghai, China, July 10-12, 2011.
80.
Qiang Sun, Jianjun Zhao, and Yuting Chen.
Probabilistic Points-to
Analysis for Java.
In
Proc. 2011 International Conference on Compiler Construction (CC 2011),
pp.62-81, Saarbrücken, Germany, March 26 - April
3, 2011.
81.
Haihao Shen, Jianhong Fang, and Jianjun Zhao.
EFindBugs: Effective
Error Ranking for FindBugs.
In
Proc. 4th IEEE International Conference on Software Testing, Verification and
Validation (ICST 2011), pp.299-308, Berlin, Germany, March 21-25, 2011.
82.
Cheng Zhang, Dacong Yang, Jianjun Zhao, Shengqian
Yang, and Yuting Chen.
BPGen: An Automated Breakpoint Generator for Debugging.
In
Proc. 32th International Conference on Software Engineering (ICSE 2010), Vol.2,
pp.171-174, Formal Demonstration Track, Cape Town, South Africa, , May 2-8, 2010.
83.
Qingzhou Luo, Sai Zhang, Jianjun Zhao and Min Hu.
A Lightweight
and Portable Approach to Making Concurrent Failures Reproducible.
In
Proc. Fundamental Approaches to Software Engineering (FASE'2010), pp.323-337, Paphos, Cyprus, 22 - 26
March, 2010.
84.
Yu Lin, Xucheng Tang, Yuting Chen and
Jianjun Zhao.
A Divergence-Orietned Approach to Adaptive Random Testing of
Java Programs.
In
Proc. 24th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2009), pp.221-232, Auckland, New Zealand, November 16-20, 2009.
85.
Yu Lin, Sai Zhang,
and Jianjun Zhao.
Incremental Call Graph Reanalysis for AspectJ Software.
In
Proc. 25th IEEE International Conference on Software Maintenance (ICSM 2009),
pp.301-315 , Alberta, Canada, Sep 20- 26, 2009.
86.
Martin Gorg and Jianjun
Zhao.
Identifying Semantic
Differences in AspectJ Programs.
In Proc. ACM SIGSOFT International
Conference on Software Testing and Analysis (ISSTA 2009), pp. 25-36, Chicago, July 2009.
87.
Zengkai Ma and Jianjun Zhao.
Test Case Prioritization Based on Analysis of Program Structure.
In
Proc. 15th Asia-Pacific Software Engineering Conference (APSEC 2008),
pp.471-478, Beijing, China, December 3-5, 2008.
88.
Sai Zhang, Yu Lin, Zhongxian Gu, and Jianjun Zhao.
Effective Identification of Failure-Inducing Changes: A Hybrid
Approach.
In
Proc. 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools
and Engineering (PASTE 2008), pp.77-83, Atlanta, GA, USA, November 9-10, 2008.
89.
Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong
Fang, and Shiyuan Rao.
XFindBugs: eXtended FindBugs for AspectJ.
In
Proc. 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools
and Engineering (PASTE 2008), pp.70-76, Atlanta, GA, USA, November 9-10, 2008.
90.
Sai Zhang, Zhongxian Gu, Yu Lin, and Jianjun Zhao.
Change
Impact Analysis for AspectJ Programs.
In Proc. 24th IEEE International Conference on
Software Maintenance (ICSM 2008), pp.87-96, Beijing, China, Sep 28- Oct 4,
2008.
91. Qiang
Sun and Jianjun Zhao.
Aspect-Aware
Points-to Analysis.
In
Proc.8th IEEE International Working Conference on Source Code Analysis and
Manipulation (SCAM 2008), pp.143-152, Beijing, China, Sep 28-29, 2008.
92.
Sai Zhang, Zhongxian Gu, Yu Lin, and Jianjun Zhao.
Flota: A Programmer Assistant for Locating Faulty Changes in
AspectJ Software Evolution.
In
Proc. 4th International Linking Aspect Technology and Evolution workshop (LATE
2008), AOSD 2008 Workshop, April 1, Brussels, Belgium.
93.
Sai Zhang, Zhongxian Gu, Yu Lin, and Jianjun Zhao.
Celadon: A Change Impact Analysis Tool for Aspect-Oriented
Programs.
In
Proc. 30th International Conference on Software Engineering (ICSE 2008),
Companion Volume, pp.913-914, (Informal Demonstration Track), May 10-18, 2008,
Leipzig, Germany. (This work was also presented as a forum research
demonstration in AOSD 08
Demonstration, March 31-April 4th, 2008, Brussels, Belgium)
94.
Sai Zhang and Jianjun Zhao.
On
Identifying Bug Patterns in Aspect-Oriented Programs.
In
Proc. 31st IEEE Annual International
Computer Software and Applications Conference (COMPSAC'07), Vol. I, pp.431-438, Beijing,
China, July 23-27, 2007.
95.
Yi Wang and Jianjun Zhao.
Specifying
Pointcuts in AspectJ.
In
Proc. 31st IEEE Annual International
Computer Software and Applications Conference (COMPSAC'07), Vol. II, pp.5-10, 3rd Asian Workshop on Aspect-Oriented
Software Development (AOAsia 2007), Beijing, China, July 23, 2007.
96.
Tao Xie and Jianjun Zhao.
Perspectives on Automated Testing of
Aspect-Oriented Programs.
In
Proc. 3rd Workshop on Testing Aspect-Oriented Programs (WTAOP 2007), Vancouver,
Canada, pp. 7-12, March 2007.
97.
Jianjun Zhao, Cheng Zhang, Sibo Zhang, and Jiaming Zhang.
An Overview
of VeriJava Programming Systems.
Technical
Report SJTU-CSE-TR-06-01, Center for Software Engineering, Shanghai Jiao Tong University, October 2006. (A short version presented at 1st Asian Working Conference on Verified
Software (AWCVS 2006),
Macao, China, October 2006)
98.
Tao Xie, Jianjun Zhao, Darko
Marinov, and David Notkin.
Detecting Redundant
Unit Tests for AspectJ rograms.
In
Proc. 17th IEEE International Conference on Software Reliability Engineering
(ISSRE'06), pp.179-188, Raleigh, NC, November 2006.
99.
Jianjun Zhao.
Control-Flow
Analysis and Representation of Aspect-Oriented Programs.
In
Proc. 6th International Conference on
Quality Software (QSIC'06), pp.38-48 Beijing, China, October 26-28, 2006.
100.
Jianjun Zhao, Tao Xie, and
Nan Li.
Towards Regression
Test Selection for Aspect-Oriented Programs.
In
2nd Workshop on Testing Aspect-Oriented Programs (WTAOP'06), Portland, Maine, July 2006.
101.
Tao Xie and Jianjun Zhao.
A Framework and
Tool Supports for Generating Test Inputs of AspectJ Programs.
In
Proc. 5th International Conference on Aspect-Oriented Software Development (AOSD'2006),
pp.190-201, Bonn, Germany, March 2006. (A previous version
appeared as Automated Test Generation for AspectJ Programs"
by Tao Xie, Jianjun Zhao, Darko Marinov, and David Notkin in AOSD 2005 Workshop on Testing Aspect-Oriented
Programs (WTAOP'05), Chicago, USA, March 2005)
102.
Jianjun Zhao.
Measuring
Coupling in Aspect-Oriented Systems.
In
10th International Software Metrics Symposium (METRICS'2004), (Late Breaking Paper),
Chicago, USA, September 14-16, 2004. (A previous version
appeared as Technical-Report SE-142-6, Information Processing Society of Japan
(IPSJ), May 2003)
103.
Jianjun Zhao and Baowen Xu.
In
Proc. Fundamental Approaches to Software Engineering (FASE'2004), LNCS 2984,
pp.54-68, Springer-Verlag, Barcelona, Spain, March 29-31, 2004.
104.
Jianjun Zhao.
Data-Flow-Based
Unit Testing of Aspect-Oriented Programs.
In
Proc. 27th Annual IEEE International Computer Software and Applications
Conference (COMPSAC'2003), pp.188-197. Dallas, Texas, USA, November 2003. (A
previous version appeared as Technical-Report SE-136-26, Information Processing
Society of Japan (IPSJ), March 2002)
105.
Masanori Iwamoto and Jianjun
Zhao.
Refactoring
Aspect-Oriented Programs.
In
4th AOSD Modeling with UML Workshop, UML'2003, San Francisco, California, USA,
October 2003.
106.
Jianjun Zhao and Martin Rinard.
Pipa: A
Behavioral Interface Specification Language for AspectJ.
In
Proc. Fundamental Approaches to Software Engineering (FASE'2003), LNCS 2621,
pp.150-165, Springer-Verlag, April 2003.
107.
Jianjun Zhao and Martin Rinard.
System Dependence
Graph Construction for Aspect-Oriented Programs.
Technical
Report MIT-LCS-TR-891, Laboratory for Computer Science, MIT, March 2003.
108.
Jianjun Zhao, Hongji Yang, Limin Xiang, and Baowen Xu.
Change Impact Analysis to Support Architectural Evolution.
In
Journal of Software Maintenance and Evolution: Research and Practice, Vol.14,
No.5, pp.317-333, 2002, John Wiley & Sons.
109.
Jianjun Zhao.
Slicing Aspect-Oriented
Software.
In
Proc. 10th IEEE International Workshop on Program Comprehension (IWPC'2002),
pp.251-260, Paris, France, June 2002. (A previous version
appeared as Technical-Report SE-135-7, Information Processing Society of Japan
(IPSJ), November 2001)
110.
Yuming Zhou, Baowen Xu, Jianjun Zhao, and Hongji Yang.
ICBMC: An Improved Cohesion Measure for Classes.
In Proc. IEEE International Conference on Software Maintenance, pp. 44-53,
Montreal, Canada, October 2002.
111.
Jianjun Zhao.
Change
Impact Analysis for Aspect-Oriented Software Evolution.
In Proc.
5th International Workshop on Principles of Software Evolution, pp.108-112, ACM
Press, Orlando, Florida, USA, May 2002.
112.
Jianjun Zhao.
Towards
a Metrics Suite for Aspect-Oriented Software.
Technical-Report
SE-136-25, Information Processing Society of Japan (IPSJ), March 2002.
113.
Jianjun Zhao.
Dependence
Analysis of Java Bytecode.
In
Proc. 24th IEEE Annual International Computer Software and Applications
Conference (COMPSAC'2000), pp.486-491, Taipei, Taiwan, October 2000.
114.
Jianjun Zhao.
A Slicing-Based
Approach to Extracting Reusable Software Architectures.
In
Proc. 4th European Conference on Software Maintenance and Reengineering
(CSMR'2000), pp.215-223, IEEE Computer Society Press, Zurich, Switzerland,
February 2000.
115.
Jianjun Zhao.
Multithreaded Dependence
Graphs for Concurrent Java Programs.
In
Proc. 1999 International Symposium on Software Engineering for Parallel and
Distributed Systems, pp.13-23, IEEE Computer Society Press, May 1999.
116.
Jianjun Zhao.
Slicing
Concurrent Java Programs.
In
Proc. Seventh IEEE International Workshop on Program Comprehension (IWPC'99),
pp.126-133, May 1999.
117.
Jianjun Zhao.
Applying Program
Dependence Analysis to Java Software.
In Proc.
Workshop on Software Engineering and Database Systems, 1998 International
Computer Symposium, pp.162-169, Tainan, Taiwan, December 1998.
118.
Jianjun Zhao.
Dynamic
Slicing of Object-Oriented Programs.
Technical-Report
SE-98-119, pp.17-23, Information Processing Society of Japan (IPSJ), May 1998.
119.
Jianjun Zhao.
On Assessing the
Complexity of Software Architectures.
In Proc.
3rd International Software Architecture Workshop, pp.163-166, ACM SIGSOFT, ACM
Press, November 1998.
120.
Jianjun Zhao.
Applying
Slicing Technique to Software Architectures.
In
Proc. Fourth IEEE International Conference on Engineering of Complex Computer
Systems, pp.87-98, August 1998.
121.
Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima.
A Metrics Suite for
Concurrent Logic Programs .
In
Proc. 2nd Euromicro Conference on Software
Maintenance and Reengineering, pp.172-178, IEEE Computer Society Press, March
1998.
122.
Jianjun Zhao.
Using Dependence
Analysis to Support Software Architecture Understanding.
In
M. Li (Ed.), "New Technologies on Computer Software", pp.135-142,
International Academic Publishers, September 1997.
123.
Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima.
Slicing
Concurrent Logic Programs.
In T.
Ida, A. Ohori and M. Takeichi
(Eds.), "Second Fuji International Workshop on Functional and Logic
Programming", pp.143-162, World Scientific, 1997.
124.
Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima.
Static Slicing
of Concurrent Object-Oriented Programs.
In
Proc. 20th IEEE Annual International Computer Software and Applications
Conference, pp.312-320, August 1996.
Last updated: August 26, 2023.
Jianjun
Zhao (zhao@ait.kyushu-u.ac.jp)