See also Google Scholar Citations and DBLP.
1. Kota
Fukuda, Guanqin Zhang, Zhenya
Zhang, Yulei Sui, Jianjun Zhao.
Adaptive
Branch-and-Bound Tree Exploration for Neural Network Verification.
In Proc. 2025 Design,
Automation and Test in Europe Conference (DATE 2025) (accepted)
2. Guanqin
Zhang, Zhenya Zhang, Dilum
Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui.
Efficient
Incremental Verification of Neural Networks Guided by Counterexample
Potentiality.
In Proc. ACM SIGPLAN
International Conference on Object-Oriented Programming Systems, Languages, and
Applications (OOPSLA 2025) (accepted)
3.
Juan M. Murillo, Jose
Garcia-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat
Ali, Tao Yue, Paolo Arcaini, Ricardo
Pérez-Castillo, Ignacio García Rodríguez de Guzmán,
Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy Miranskyy, and Manuel Wimmer.
Quantum Software
Engineering: Roadmap and Challenges Ahead.
In
ACM Transactions on Software Engineering and Methodology, December 2024.
(A previous
version appeared as “Challenges of Quantum Software Engineering for the Next Decade: The Road
Ahead by Juan M.
Murillo, Jose Garcia-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat
Ali, Tao Yue, Paolo Arcaini, Ricardo
Pérez-Castillo, Ignacio García Rodríguez de Guzmán,
Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy Miranskyy, and Manuel Wimmer. In arXiv
preprint arXiv:2404.06825, April 10, 2024.)
4. 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.
5.
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.
6. 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.
7.
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.
8. 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.
9. Pengzhan
Zhao, Zhongtao Miao, Shuhan Lan, and Jianjun Zhao.
In
Journal of Systems and Software, Vol.205, Elsevier, November 2023.
(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.)
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.
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. 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.
15. 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.
16. 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)
17. 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.
18. 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.
19. 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.
20. 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.
21. 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.
22. 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.
23.
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.
24.
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)
25.
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.
26.
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.
27.
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.
28.
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.
29.
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.
30.
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.
31.
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.
32.
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.
33.
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.
34.
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.
35.
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.
36.
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.
37.
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.
38.
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.
39.
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.
40.
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.
41.
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.
42.
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)
43.
Ziyi Lin, Hao Zhong, Yuting Chen, and Jianjun
Zhao.
LockPeeker: Detecting
Latent Locks in Java APIs.
44.
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.
45.
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.
46.
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.
47.
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)
48.
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.
49.
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.
50.
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.
51.
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.
52.
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.
53.
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.
54.
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.
55.
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.
56.
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.
57.
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.
58.
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.
59.
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.
60.
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.
61.
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.
62.
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.
63.
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.
64.
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.
65.
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.
66.
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)
67.
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.
68.
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.
69.
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)
70.
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.
71.
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.
72.
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.
73.
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)
74.
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.
75.
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.
76.
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.
77.
Jianjun Zhao.
Slicing
Concurrent Java Programs.
In
Proc. Seventh IEEE International Workshop on Program Comprehension (IWPC'99),
pp.126-133, May 1999.
78.
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.
79.
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.
80.
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.
81.
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.
82.
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)