Welcome to Pangu Research Lab

The Pangu Lab focuses on research in many areas of software engineering and artificial intelligence, including:

  • Software engineering for artificial intelligence
  • Artificial intelligence for software engineering
  • Static and dynamic program analysis
  • Software testing and verification
  • Automatic programming

The overall goal of Pangu Research Lab is to obtain better software and artificial intelligence systems, making them more robust, reliable, and secure, and easier to specify, build, maintain, or improve.

NEWS

One paper has been accepted by ICSE 2021.


One paper has been accepted by ICST 2021.


Two paper has been accepted by AAAI 2021.


One paper has been accepted by IEEE TDSC.


One paper has been accepted by NeurIPS 2020.


One paper has been accepted by ESEC/FSE 2020.


Two papers have been accepted by ASE 2020.


Two papers have been accepted by ICSME 2020 (NIER).


Three papers have been accepted by ACM MM 2020.


One paper has been accepted by ECCV 2020.


One paper has been accepted by IJCAI 2020.


One paper has been accepted by ACM/IEEE ICSE 2020.


One paper has been accepted by ICPC 2020.


One paper has been accepted at IEEE Transactions on Software Engineering (TSE).


Two papers have been accepted by AAAI 2020.


The Wuji paper obtained the ACM SIGSOFT Distinguished Paper award at ASE 2019.


Two papers have been accepted by ASE 2019.


Three tool demonstrations have been accepted by ASE 2019.


The DiffChaser paper has been accepted by IJCAI 2019.


The DeepStellar paper has been accepted by ESEC/FSE 2019.


The DeepHunter paper has been accepted by ISSTA 2019.


The VULTRON paper has been accepted by ICSE 2019 as a NIER track paper.


The DeepVisual paper has been accepted by ICPC as a tool demo paper.


The DeepCT paper has been accepted by SANER 2019 as an ERA track paper.


Faculty


Jianjun Zhao


Professor


Office: Room 751, West 2 Bldg
Phone: +81-92-802-3625
Email: zhao@ait.kyushu-u.ac.jp
Address: 744 Motooka, Nishi-ku Fukuoka 819-0395, Japan


Lei Ma


Research Fellow (Associate Professor of University of Alberta)


Office:
Email: malei.jobs@gmail.com
Address: University of Alberta


Yaokai Feng


Assistant Professor


Office: Room 726, West 2 Bldg
Email: fengyk@ait.kyushu-u.ac.jp
Address: 744 Motooka, Nishi-ku Fukuoka 819-0395, Japan


Xiaofei Xie


Assistant Professor


Office: Room 714, West 2 Bldg
Email: xiaofei.xfxie@gmail.com
Address: 744 Motooka, Nishi-ku Fukuoka 819-0395, Japan


Zhenya Zhang


Post-Doc


Office: Room 726, West 2 Bldg
Email:
Address: 744 Motooka, Nishi-ku Fukuoka 819-0395, Japan


Ph.D. student


Jiyuan Sun


Ph.D. student



Zeming Dong


Ph.D. student



Ziyi Cheng


Ph.D. student



Xiongfei Wu


Ph.D. student



Jiaming Ye


Ph.D. student



Deyun Lv


Ph.D. student



Pengzhan Zhao


Ph.D. student



Master student


Hua Qi


Master student



Junjie Luo


Master student



Hidenori Ooka


Master student



Takuya Kurita


Master student



Zhuo Li


Master student



Jiansong Ma


Master student



Kentarou Murakami


Master student



Kouhei Hatae


Master student



Jingyang Sun


Master student



Juba Simon Mduduzi


Master student



Undergraduate student


Takahiro Muta


Undergraduate student



Shoma Hamada


Undergraduate student



Koki Furutake


Undergraduate student



Konosuke Koga


Undergraduate student



Le Duc Manh


Undergraduate student



Research student


Jianlang Chen


Research student



Wenxin Zhang


Research student



Siyuan Chen


Research student



Shuhan Lan


Research student



Alumni

2020


Bing Yu


Ph.D. student



Wentao Li


Master student



Tomomi Nakamura


Master student



Rui Rui


Master student



Siyuan Wang


Master student



Chao Xie


Master student



Qiang Hu


Master student



2019


Daisuke Yamamoto


Master student



Kazuki Nakahara


Undergraduate student



2018


Yoichi Omori


Assistant Professor


Office: Room 714, West 2 Bldg
Email: yomori [at] ait [dot] kyushu-u [dot] ac [dot] jp
Address: 744 Motooka, Nishi-ku Fukuoka 819-0395, Japan

Haichen Wen


Master student



Daigo Kajiwara


Undergraduate student



Robust Deep Learning Systems


Deep learning (DL) has achieved great success in many application domains. However, how to ensure the reliability and security of DL system remains an open problem. For example, an attacker could add adversarial perturbations often imperceptible to human eyes to an image to cause a deep neural network (DNN) to misclassify perturbed images. Traditional software represents its logic as control flows crafted by human knowledge, while a DNN characterizes its behaviors by the weights of neuron edges and the nonlinear activation functions (determined by the training data). Therefore, detecting erroneous behaviors in DNNs is different from those of traditional software in nature, which necessitates effective analysis, testing and verification approaches. We plan to take a multi-pronged approach to explore deeper understanding of defects (bugs) and adversarial examples in DL systems, and methods to guarantee the reliability and security of DL systems.


Deep Learning for Software Engineering


Deep learning can provide new capabilities and approaches for addressing software engineering problems. In this project, we will explore different software engineering activities where deep learning provides promising solutions, including software testing and debugging, program analysis and verification, software mining and analytics.


Programming with Big Code


Just like huge amounts of data on the web enabled Big Data applications, now large repositories of programs (e.g. open source code on GitHub) enable a new class of applications that leverage these repositories of "Big Code". Using Big Code means to automatically learn from existing code in order to solve software engineering tasks such as predicting software bugs, predicting program behavior, or automatically generating new code.



Publications

  • Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu, Lei Ma, Jianye Hao, and Yang Liu
    Automatic Web Testing using Curiosity-Driven Reinforcement Learning
    The 43rd International Conference on Software Engineering (ICSE 2021), Online, May 23-29, 2021.

  • Maryam V. Pour, Li Zhuo, Lei Ma and Hadi Hemmati
    A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding
    IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), Online, April 12-16, 2021.

  • Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun
    Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks
    Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), Online, February 2-9, 2021.

  • 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
    Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), Online, February 2-9, 2021.

  • Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, and Yang Liu
    Oracle- Supported Dynamic Exploit Generation for Smart Contracts
    IEEE Transactions on Dependable and Secure Computing

  • Qing Gu, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Bing Yu, Wei Feng, Yang Liu
    Watch out! Motion is Blurring the Vision of Your Deep Neural Networks
    Thirty-fourth Conference on Neural Information Processing Systems (NeurIPS 2020), Online, December 6-12, 2020.

  • Zi Peng, Jinqiu Yang, Tse-Hsun Chen, Lei Ma
    A First Look at the Integration of Machine Learning Models in Complex Autonomous Driving Systems - A Case Study on Apollo
    The 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Industry Track (ESEC/FSE 2020), California, United States, November 8-13, 2020.

  • Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao
    Marble: Model-Based Robustness Analysis of Stateful Deep Learning Systems
    In The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020), Melbourne, Australia, September 21-25, 2020.

  • David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, Jianjun Zhao
    Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness
    In The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020), Melbourne, Australia, September 21-25, 2020.

  • 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
    The 36th IEEE International Conference on Software Maintenance and Evolution, NIER Track (ICSME 2020), Adelaide, Australia, September 27-October 2, 2020.

  • Yuechen Wu, Yingfeng Chen, Xiaofei Xie, Bing Yu, Changjie Fan and Lei Ma
    Regression Testing of Massively Multiplayer Online Role-Playing Games
    The 36th IEEE International Conference on Software Maintenance and Evolution, NIER Track (ICSME 2020), Adelaide, Australia, September 27-October 2, 2020.

  • Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao
    DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms
    In ACM Multimedia Conference 2020 (ACM MM 2020), Seattle, United States, October 12-16, 2020.

  • Run Wang, Felix Juefei-Xu, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Yang Liu
    Amora: Black-box Adversarial Morphing Attack
    In ACM Multimedia Conference 2020 (ACM MM 2020), Seattle, United States, October 12-16, 2020.

  • Run Wang, Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
    DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices
    In ACM Multimedia Conference 2020 (ACM MM 2020), Seattle, United States, October 12-16, 2020.

  • Qing Guo, Xiaofei Xie, Felix Juefei-Xu, Lei Ma, Zhongguo Li, Wanli Xue, Wei Feng, Yang Liu
    SPARK: Spatial-aware Online Incremental Attack Against Visual Tracking
    In 16th European Conference on Computer Vision (ECCV 2020), Online, August 23-28, 2020

  • Run Wang, Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
    FakeSpotter: A Simple yet Robust Baseline for Spotting AI-Synthesized Fake Faces
    In 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Yokohama, Japan.

  • Shangwei Guo, Tianwei Zhang, Xiaofei Xie, Lei Ma, Tao Xiang, Yang Liu
    Towards Byzantine-resilient Learning in Decentralized Systems
    In CoRR arXiv, 2002.08569, 2020.

  • Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
    FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles
    In CoRR arXiv, 2001.09598, 2020.

  • Run Wang, Felix Juefei-Xu, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Yang Liu
    Amora: Black-box Adversarial Morphing Attack
    In CoRR arXiv, 1912.03829, 2019.

  • Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun
    Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty
    In the 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, July 6-11, 2020.

  • Jie M. Zhang, Mark Harman, Lei Ma, Yang Liu
    Machine Learning Testing: Survey, Landscapes and Horizons
    In IEEE Transactions on Software Engineering (TSE), doi: 10.1109/TSE.2019.2962027.

  • Huangzhao Zhang, Zhuo Li, Ge Li, Lei Ma, Yang Liu, Zhi Jin.
    Generating Adversarial Examples for Holding Robustness of Source Code Processing Models
    In Proc. 34th AAAI Conference on Artificial Intelligence (AAAI 2020), New York, USA, Feb 7-12, 2020.

  • Jianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma, Yan Zheng, Kangjie Chen, Yang Liu.
    Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning
    In Proc. 34th AAAI Conference on Artificial Intelligence (AAAI 2020), New York, USA, Feb 7-12, 2020.

  • Cyrille Artho, Kazuuki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe and Mitsuharu Yamamoto.
    Model-based Testing of Apache ZooKeeper: Fundamental API Usage and Watchers
    In Software Testing, Verification and Reliability (STVR), 2019.

  • Yan Zheng, Xiaofei Xie, Ting Su, Lei Ma, Jianye Hao, Zhaopeng Meng, Yang Liu, Ruimin Shen, Yinfeng Chen, Changjie Fan
    Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning. 
    In Proc. 34th IEEE/ACM Conference on Automated Software Engineering (ASE 2019), San Diego, California, USA, November 11-15, 2019. (ACM SIGSOFT Distinguished Paper Award)

  • 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), San Diego, California, USA, November 11-15, 2019.

  • 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), San Diego, California, USA, November 11-15, 2019.

  • 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), San Diego, California, USA, November 11-15, 2019.

  • 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), San Diego, California, USA, November 11-15, 2019.

  • Li Li, Jun Gao, Tegawendé F. Bissyandé, Lei Ma, Xin Xia and Jacques Klein.
    Characterising Deprecated Android APIs
    In Empirical Software Engineering Journal, 2019.

  • Tianyi Zhang, Cuiyun Gao, Lei Ma, Michael R. Lyu and Miryung Kim.
    An Empirical Study of Common Challenges in Developing Deep Learning Applications
    The 30th International Symposium on Software Reliability Engineering. (ISSRE19)

  • Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun and Xiaofei Xie.
    Safe Inputs Generation for Black-box Systems
    The 24th International Conference on Engineering of Complex Computer Systems. (ICECCS19)

  • Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Shangwei Lin and Yang Liu.
    MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform
    The 24th International Conference on Engineering of Complex Computer Systems. (ICECCS19)

  • Xiaofei Xie, Lei Ma, Haijun Wang, Yuekang Li, Liu Yang, Xiaohong Li.
    DiffChaser: Detecting Disagreements for Deep Neural Networks
    In Proc. 28th International Joint Conference on Artifitial Intellegience (IJCAI 2019), Macao, China, August 10-16 2019.

  • 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), Tallinn, Estonia, August 26-30, 2019.

  • 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), Beijing, China, July 15-19, 2019.

  • 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), Tools Demo Track, Montreal, Canada, May 25-26, 2019.

  • 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.

  • 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.

  • Qianyu Guo,Xiaofei Xie, Lei Ma, Qiang Hu, Ruitao Feng, Li Li, Yang Liu, Jianjun Zhao, Xiaohong Li.
    An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms
    In arXiv preprint arXiv:1811.05187, 2018.

  • Lei Ma, Felix Juefei-Xu, Minhui Xue, Qiang Hu, Sen Chen, Bo Li, Yang Liu, Jianjun Zhao, Jianxiong Yin, and Simon See.
    Secure Deep Learning Engineering: A Software Quality Assurance Perspective
    In arXiv Preprint, 2018.

  • 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.

  • 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), Memphis, TN, USA, October 15-18, 2018.

  • 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)

  • Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang.
    Combinatorial Testing for Deep Learning Systems
    In arXiv:1806.07723, June 20, 2018.

  • Anil Kumar Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao.
    Tuning Parallel Symbolic Execution Engine for Better Performance
    In Frontiers of Computer Science, Springer, Vol.12, No.1, pp.86-100, 2018.

  • Ziyi Lin, Yilei Zhou, Hao Zhong, Yuting Chen, Haibo Yu, Jianjun Zhao.
    SPDebugger: A Fine-grained Deterministic Debugger for Concurrency Code
    In IEICE Transactions on Information and Systems, Vol.E100-D, No.3, pp.473-482, March 2017.

  • Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao.
    CLCMiner: Detecting Cross-Language Clones without Intermediates
    In IEICE Transactions on Information and Systems, Vol.E100-D, No.2, pp.273-284, Feburary 2017.

  • 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

  • Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, and Jianjun Zhao.
    Detecting 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.

  • 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.

  • 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), Austin, Texas, USA, May 16-17, 2016.

  • 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), Austin, Texas, USA, May 16-17, 2016.

  • 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.

  • 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), Osaka, Japan, March 2016.

  • 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), Osaka, Japan, March 2016. (Best Paper Candidate Award)

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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)

  • 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.

  • 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.

  • 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.

  • 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.(short version presented at 1st Asian Working Conference on Verified Software (AWCVS 2006),Macao, China, October 2006)

  • 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.

  • 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.

  • 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.

  • 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 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).

  • 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)

  • 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.

  • 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)

  • Masanori Iwamoto and Jianjun Zhao.
    Refactoring Aspect-Oriented Programs
    In 4th AOSD Modeling with UML Workshop, UML'2003, San Francisco, California, USA, October 2003.

  • 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.

  • 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.

  • 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.

  • 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)

  • 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.

  • 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.

  • Jianjun Zhao.
    Towards a Metrics Suite for Aspect-Oriented Software
    Technical-Report SE-136-25, Information Processing Society of Japan (IPSJ), March 2002.

  • 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.

  • 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.

  • 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.

  • Jianjun Zhao.
    Slicing Concurrent Java Programs
    In Proc. Seventh IEEE International Workshop on Program Comprehension (IWPC'99), pp.126-133, May 1999.

  • 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.

  • Jianjun Zhao.
    Dynamic Slicing of Object-Oriented Programs
    Technical-Report SE-98-119, pp.17-23, Information Processing Society of Japan (IPSJ), May 1998.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

Address


Room 713, West Bldg 2, 744 Motooka, Nishi-ku, Fukuoka 819-0395, Japan
Graduate School of Information Science and Electrical Engineering
Kyushu University

〒819-0395
福岡県福岡市西区元岡744番地
九州大学大学院システム情報科学研究院
ウエスト2号館713室