Selected Papers


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.

Bugs4Q: A Benchmark of Existing Bugs to Enable Controlled Testing and Debugging Studies for Quantum Programs.

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.

An Empirical Study towards Characterizing Deep Learning Development and Deployment across Different Frameworks and Platforms.

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.

In Proc. 31th IEEE/ACM Conference on Automated Software Engineering (ASE 2016), pp.368-278, Singapore, September 3-7, 2016.

 

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.

Measuring Aspect Cohesion.

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)