Updated on 2024/07/28

Information

 

写真a

 
ZHAO JIANJUN
 
Organization
Faculty of Information Science and Electrical Engineering Department of Advanced Information Technology Professor
School of Engineering Department of Electrical Engineering and Computer Science(Joint Appointment)
Graduate School of Information Science and Electrical Engineering Department of Information Science and Technology(Joint Appointment)
Title
Professor
Profile
プログラム解析や検証、ソフトウェアテストなどの技術を用いて、より信頼性と安全性の高いソフトウェアシステムを構築することを目指しています。具体的には、ソフトウェアシステムにおける不具合やバグを深く理解し、ソフトウェアシステムの信頼性と安全性を保証する方法を探求しています。また、プログラムコートの自動生成、プログラムのバグの自動修復などの方法を研究しています。

Degree

  • B.E. (Computer Science, Tsinghua University)

  • PhD (Computer Science, Kyushu University)

Research Interests・Research Keywords

  • Research theme:Software Engineering, programming languages

    Keyword:Program Analysis, Software Testing, Programming Development Environment, Automatic Programming

    Research period: 2016.4

Awards

  • Best Paper Award

    2023.7   QSW 2023 Program Committee  

  • Best Paper Award

    2020.12   APSEC 2020  

  • ACM SIGSOFT Disitinguished Paper Award

    2018.9   ACM SIGSOFT  

     More details

    Deep learning (DL) defines a new data-driven programming paradigm that constructs the internal system logic of a crafted neuron
    network through a set of training data. We have seen wide adoption of DL in many safety-critical scenarios. However, a plethora
    of studies have shown that the state-of-the-art DL systems suffer from various vulnerabilities which can lead to severe consequences
    when applied to real-world applications. Currently, the testing adequacy of a DL system is usually measured by the accuracy of test data. Considering the limitation of accessible high quality test data, good accuracy performance on test data can hardly provide
    confidence to the testing adequacy and generality of DL systems. Unlike traditional software systems that have clear and controllable logic and functionality, the lack of interpretability in a DL system makes system analysis and defect detection difficult, which could potentially hinder its real-world deployment. In this paper, we propose DeepGauge, a set of multi-granularity testing criteria for DL systems, which aims at rendering a multi-faceted portrayal of the testbed. The in-depth evaluation of our proposed testing criteria is demonstrated on two well-known datasets, five DL systems, and with four state-of-the-art adversarial attack techniques against DL. The potential usefulness of DeepGauge sheds light on the construction of more generic and robust DL systems

  • SANER 2016 Best Paper Candidate Award

    2016.3   SANER 2016  

Papers

  • Detecting Cross-Language Clones Without Intermediates Reviewed International journal

    Xiao Cheng, Zhiming Peng, Linxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao

    The 31th IEEE/ACM Conference on Automated Software Engineering (ASE 2016) (Short Paper)   696 - 701   2016.9

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • Supporting Selective Undo for Refactoring Reviewed International journal

    Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao

    The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016)   13 - 23   2016.3

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs Reviewed International journal

    Jiabin Ye, Cheng Zhang, Lei Ma, Haibo Yu, Jianjun Zhao

    The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (Best Paper Candidate Award)   449 - 459   2016.3

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • TAT: Targeted Backdoor Attacks against Visual Object Tracking Reviewed International journal

    #Ziyi Cheng, @Baoyuan Wu, @Zhenya Zhang, @Jianjun Zhao

    Pattern Recognition   2023.4

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: https://doi.org/10.1016/j.patcog.2023.109629

  • MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation Reviewed International journal

    #Zeming Dong, @Qiang Hu, @Yuejun Guo, @Maxime Cordy, @Mike Papadakis, @Zhenya Zhang, @Yves Le Traon, @Jianjun Zhao

    30th IEEE International Conference on Software Analysis, Evolution and Reengineering   379 - 390   2023.3

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    DOI: 10.1109/SANER56733.2023.00043

  • Core-Failure-Set Guided DARTS for Network Robustness to Common Corruptions Reviewed International journal

    Xuhong Ren, #Jianlang Chen, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao, Shengyong Chen

    Pattern Recognition   2022.7

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • xFuzz: Machine Learning Guided Cross-Contract Fuzzing Reviewed International journal

    Yinxing Xue, #Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao

    IEEE Transactions on Dependable and Secure Computing   2022.6

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • A Comprehensive Study of Bug Fixes in Quantum Programs Reviewed

    #Junjie Luo, #Pengzhan Zhao, #Zhongtao Miao, #Shuhan Lan, @Jianjun Zhao

    The First International Workshop on Quantum Software Analysis, Evolution and Reengineering (Q-SANER 2022)   1228 - 1235   2022.3

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Bug Characteristics in Probabilistic Programming Systems: A Comprehensive Study Reviewed

    #Le Manh Duc, @Haibo Yu, @Jianjun Zhao

    2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)   319 - 325   2021.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Bugs4Q: A benchmark of real bugs for quantum programs Reviewed

    #Pengzhan Zhao, Jianjun Zhao, #Zhongtao Miao, #Shuhan Lan

    2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)   1373 - 1376   2021.11

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • An Empirical Study on Common Bugs in Deep Learning Compilers Reviewed

    Xiaoting Du, Zheng Zheng, Lei Ma, Jianjun Zhao

    2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)   184 - 195   2021.10

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • An empirical study of GUI widget detection for industrial mobile games Reviewed

    #Jiaming Ye, Ke Chen, Xiaofei Xie, Lei Ma, Ruochen Huang, Yingfeng Chen, Yinxing Xue, Jianjun Zhao

    Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering   1427 - 1437   2021.8

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment Reviewed International journal

    #Bing Yu, #Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jianjun Zhao

    IEEE Transactions on Reliability   1427 - 1437   2021.8

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Effective hybrid system falsification using monte carlo tree search guided by QB-robustness Reviewed

    Zhenya Zhang, #Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao

    International Conference on Computer Aided Verification   595 - 618   2021.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Identifying Bug Patterns in Quantum Programs Reviewed

    #Pengzhan Zhao, Jianjun Zhao, Lei Ma

    The 2nd International Workshop on Quantum Software Engineering (Q-SE 2021) co-located with ICSE 2021   16 - 21   2021.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Some Size and Structure Metrics for Quantum Software Reviewed

    Jianjun Zhao

    The 2nd International Workshop on Quantum Software Engineering (Q-SE 2021) co-located with ICSE 2021   22 - 27   2021.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Deepmix: Online auto data augmentation for robust visual object tracking Reviewed

    #Ziyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao

    2021 IEEE International Conference on Multimedia and Expo (ICME)   1 - 6   2021.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • On the effectiveness of signal rescaling in hybrid system falsification Reviewed

    Zhenya Zhang, #Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao

    NASA Formal Methods Symposium   392 - 399   2021.5

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Efficientderain: Learning pixel-wise dilation filtering for high-efficiency single-image deraining Reviewed

    Qing Guo, #Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, Jianjun Zhao

    Proceedings of the AAAI Conference on Artificial Intelligence (AAAI 2021)   1487 - 1495   2021.2

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Learning to adversarially blur visual object tracking Reviewed

    Qing Guo, #Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao

    Proceedings of the IEEE/CVF International Conference on Computer Vision   10839 - 10848   2021.2

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis Reviewed

    @Haibo Yu, @Qiang Sun, @Kejun Xiao, @Yuting Chen, @Tsunenori Mine, @Jianjun Zhao

    2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)   91 - 97   2020.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/QRS-C5114.2020.00026

  • An Empirical Study on Robustness of DNNs with Out-of-Distribution Awareness. Reviewed

    Lingjun Zhou, #Bing Yu, David Berend, Xiaofei Xie, Xiaohong Li, Jianjun Zhao, and Zhiyong Feng.

    In Proc. 27th Asia-Pacific Software Engineering Conference (APSEC 2020) (Best Paper Award) [CORE Ranking B]   266 - 275   2020.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms Reviewed

    #Hua Qi, @Qing Guo, @Felix Juefei-Xu, @Xiaofei Xie, @Lei Ma, @Wei Feng, @Yang Liu, @Jianjun Zhao

    In Proc. The 28th ACM International Conference on Multimedia (ACM MM 2020) [CORE ranking A*]   4318 - 4327   2020.10

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Marble: Model-Based Robustness Analysis of Stateful Deep Learning Systems Reviewed

    @Xiaoning Du, @Yi Li, @Xiaofei Xie, @Lei Ma, @Yang Liu, @Jianjun Zhao.

    The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020) [CORE Ranking A*]   423 - 435   2020.9

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Few-Shot Guided Mix for DNN Repairing Reviewed

    @Xuhong Ren, #Bing Yu, #Hua Qi, @Felix Juefei-Xu, #Zhuo Li, @Wanli Xue, @Lei Ma, @Jianjun Zhao.

    In Proc. 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020), NIER Track   717 - 721   2020.9

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness Reviewed

    @David Berend, @Xiaofei Xie, @Lei Ma, @Lingjun Zhou, @Yang Liu, @Chi Xu, @Jianjun Zhao

    The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020) [CORE Ranking A*]   1041 - 1052   2020.9

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • How are Deep Learning Models Similar? An Empirical Study on Clone Analysis of Deep Learning Software Reviewed

    @Xiongfei Wu,@ Liangyu Qin, #Bing Yu, @Xiaofei Xie, @Lei Ma, @Yinxing Xue, @Yang Liu, @Jianjun Zhao

    In Proc. 28th International Conference on Program Comprehension (ICPC 2020) [CORE Ranking A]   172 - 183   2020.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty Reviewed

    @Xiyue Zhang, @Xiaofei Xie, @Lei Ma, @Xiaoning Du, #Qiang Hu, @Yang Liu, @Jianjun Zhao, @Meng Sun

    In Proc. 42nd International Conference on Software Engineering (ICSE 2020) [CORE Ranking A*]   739 - 751   2020.5

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Scenario Testing of AngularJS-Based Single Page Web Applications Reviewed

    Gefei Zhang, Jianjun Zhao

    International Workshop on Data Science and Knowledge Graph, DSKG 2019, 5th International Workshop on Knowledge Discovery on the Web, KDWEB 2019 and 2nd International Workshop on Maturity of Web Engineering Practices, MATWEP 2019, co-located with the 19th International Conference on Web Engineering, ICWE 2019 Current Trends in Web Engineering - ICWE 2019 International Workshops, DSKG, KDWEB, MATWEP, Proceedings   91 - 103   2020.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1007/978-3-030-51253-8_10

  • A quantitative analysis framework for recurrent neural network

    Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao

    34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019 Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019   1062 - 1065   2019.11

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ASE.2019.00102

  • DeepMutation++ A mutation testing framework for deep learning systems

    Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu, Jianjun Zhao

    34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019 Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019   1158 - 1161   2019.11

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ASE.2019.00126

  • Coverage-guided fuzzing for feedforward neural networks

    Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao

    34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019 Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019   1162 - 1165   2019.11

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ASE.2019.00127

  • An empirical study towards characterizing deep learning development and deployment across different frameworks and platforms

    Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li

    34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019 Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019   810 - 822   2019.11

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ASE.2019.00080

  • DeepStellar Model-based quantitative analysis of stateful deep learning systems

    Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao

    27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2019 ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering   477 - 487   2019.8

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/3338906.3338954

  • Deephunter A coverage-guided fuzz testing framework for deep neural networks

    Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See

    28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019 ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis   158 - 168   2019.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/3293882.3330579

  • DeepVisual A visual programming tool for deep learning systems

    Chao Xie, Hua Qi, Lei Ma, Jianjun Zhao

    27th IEEE/ACM International Conference on Program Comprehension, ICPC 2019 Proceedings - 2019 IEEE/ACM 27th International Conference on Program Comprehension, ICPC 2019   130 - 134   2019.5

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ICPC.2019.00028

  • Message from the MLST 2019 chairs Reviewed

    Sarfraz Khurshid, Bo Li, Yang Liu, Lei Ma, Jianjun Zhao

    12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019   XXIX   2019.4

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1109/ICSTW.2019.00021

  • API recommendation for event-driven Android application development Reviewed

    Weizhao Yuan, Hoang H. Nguyen, Lingxiao Jiang, Yuting Chen, Jianjun Zhao, Haibo Yu

    Information and Software Technology   107   30 - 47   2019.3

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.infsof.2018.10.010

  • DeepCT Tomographic Combinatorial Testing for Deep Learning Systems

    Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao

    26th IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2019 SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering   614 - 618   2019.3

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/SANER.2019.8668044

  • Secure Deep Learning Engineering A Road Towards Quality Assurance of Intelligent Systems

    Yang Liu, Lei Ma, Jianjun Zhao

    21st International Conference on Formal Engineering Methods, ICFEM 2019 Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Proceedings   3 - 15   2019.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1007/978-3-030-32409-4_1

  • Type conversion sequence recommendation based on semantic web technology

    Haibo Yu, Xi Jia, Tsunenori Mine, Jianjun Zhao

    4th IEEE SmartWorld, 15th IEEE International Conference on Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People and Smart City Innovations, SmartWorld/UIC/ATC/ScalCom/CBDCom/IoP/SCI 2018 Proceedings - 2018 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People and Smart City Innovations, SmartWorld/UIC/ATC/ScalCom/CBDCom/IoP/SCI 2018   240 - 245   2018.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/SmartWorld.2018.00076

  • DeepMutation Mutation Testing of Deep Learning Systems

    Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang

    29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018 Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018   100 - 111   2018.11

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ISSRE.2018.00021

  • DeepGauge Multi-granularity testing criteria for deep learning systems

    Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang

    33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering   120 - 131   2018.9

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/3238147.3238202

  • The role of model checking in software engineering Reviewed

    Anil Kumar Karna, Yuting Chen, Haibo Yu, Hao Zhong, Jianjun Zhao

    Frontiers of Computer Science   12 ( 4 )   642 - 668   2018.8

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s11704-016-6192-0

  • DeepGraph A PyCharm Tool for Visualizing and Understanding Deep Learning Models

    Qiang Hu, Lei Ma, Jianjun Zhao

    25th Asia-Pacific Software Engineering Conference, APSEC 2018 Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018   628 - 632   2018.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/APSEC.2018.00079

  • Tuning parallel symbolic execution engine for better performance Reviewed

    Anil Kumar Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao

    Frontiers of Computer Science   12 ( 1 )   86 - 100   2018.2

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s11704-016-5459-9

  • Visualizing interactions in angularJS-based single page web applications

    Gefei Zhang, Jianjun Zhao

    30th International Conference on Software Engineering and Knowledge Engineering, SEKE 2018 Proceedings - SEKE 2018 30th International Conference on Software Engineering and Knowledge Engineering   403 - 408   2018.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.18293/SEKE2018-066

  • SPDebugger A fine-grained deterministic debugger for concurrency code Reviewed

    Ziyi Lin, Yilei Zhou, Hao Zhong, Yuting Chen, Haibo Yu, Jianjun Zhao

    IEICE Transactions on Information and Systems   E100D ( 3 )   473 - 482   2017.3

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1587/transinf.2016EDP7388

  • CLCMiner Detecting Cross-Language Clones without Intermediates Reviewed

    Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao

    IEICE Transactions on Information and Systems   E100D ( 2 )   273 - 284   2017.2

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1587/transinf.2016EDP7334

  • On the feasibility of detecting cross-platform code clones via identifier similarity

    Xiao Cheng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao

    5th International Workshop on Software Mining, SoftwareMining 2016 - co-located with ASE 2016 SoftwareMining 2016 - Proceedings of the 5th International Workshop on Software Mining, co-located with ASE 2016   39 - 42   2016.9

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/2975961.2975967

  • LockPeeker Detecting latent locks in Java APIs

    Ziyi Lin, Hao Zhong, Yuting Chen, Jianjun Zhao

    31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016 ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering   368 - 378   2016.8

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/2970276.2970355

  • Mining revision histories to detect cross-language clones without intermediates

    Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao

    31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016 ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering   696 - 701   2016.8

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/2970276.2970363

  • Retrofitting automatic testing through library tests reusing

    Lei Ma, Cheng Zhang, Bing Yu, Jianjun Zhao

    24th IEEE International Conference on Program Comprehension, ICPC 2016 Proceedings of the 24th IEEE International Conference on Program Comprehension, ICPC 2016 - co-located with ICSE 2016   2016.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ICPC.2016.7503725

  • Rule-directed code clone synchronization

    Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao

    24th IEEE International Conference on Program Comprehension, ICPC 2016 Proceedings of the 24th IEEE International Conference on Program Comprehension, ICPC 2016 - co-located with ICSE 2016   2016.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ICPC.2016.7503722

  • Coverage-Directed differential testing of JVM implementations

    Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao

    37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016 PLDI 2016 - Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation   85 - 99   2016.6

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/2908080.2908095

  • CodeHow Effective code search based on api understanding and extended boolean model

    Fei Lv, Hongyu Zhang, Jian Guang Lou, Shaowei Wang, Dongmei Zhang, Jianjun Zhao

    30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015 Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015   260 - 270   2016.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ASE.2015.42

  • JaConTeBe A benchmark suite of real-world Java concurrency bugs

    Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao

    30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015 Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015   178 - 189   2016.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ASE.2015.87

  • BIFER a biphasic trace filter approach to scalable prediction of concurrency errors Reviewed

    Xi Chang, Zhuo Zhang, Peng Zhang, Jianxin Xue, Jianjun Zhao

    Frontiers of Computer Science   9 ( 6 )   944 - 955   2015.10

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s11704-015-4334-4

  • Trace-based debugging for advanced-dispatching programming languages

    Christoph Bockisch, Marnix Van Riet, Haihan Yin, Mehmet Aksit, Ziyi Lin, Yuting Chen, Jianjun Zhao

    10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015 Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015   2015.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/2843915.2843922

  • Program differencing for X10 Reviewed

    Yu Ting Chen, Wei Yang, Jianjun Zhao

    Jisuanji Xuebao/Chinese Journal of Computers   38 ( 5 )   1082 - 1092   2015.5

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.3724/SP.J.1016.2015.01082

  • Biped Bidirectional prediction of order violations Reviewed

    Xi Chang, Zhuo Zhang, Yan Lei, Jianjun Zhao

    IEICE Transactions on Information and Systems   E98D ( 2 )   334 - 345   2015.2

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1587/transinf.2014EDP7347

  • A constraint-weaving approach to points-to analysis for AspectJ Reviewed

    Qiang Sun, Yuting Chen, Jianjun Zhao

    Frontiers of Computer Science   8 ( 1 )   52 - 68   2014.2

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s11704-013-3106-2

  • Automated coverage-driven test data generation using dynamic symbolic execution

    Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao

    8th International Conference on Software Security and Reliability, SERE 2014 Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014   98 - 107   2014.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/SERE.2014.23

  • Extracting URLs from JavaScript via program analysis

    Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao

    2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings   627 - 630   2013.9

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/2491411.2494583

  • Constraint-based locality analysis for X10 programs

    Qiang Sun, Yuting Chen, Jianjun Zhao

    ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013 - Co-located with POPL 2013 PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013   137 - 146   2013.2

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/2426890.2426915

  • Leveraging method call anomalies to improve the effectiveness of spectrum-based fault localization techniques for object-oriented programs

    Jingxuan Tu, Lin Chen, Yuming Zhou, Jianjun Zhao, Baowen Xu

    12th International Conference on Quality Software, QSIC 2012 Proceedings - 12th International Conference on Quality Software, QSIC 2012   1 - 8   2012.11

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/QSIC.2012.30

  • MoonBox Debugging with online slicing and dryrun

    Cheng Zhang, Longwen Lu, Hucheng Zhou, Jianjun Zhao, Zheng Zhang

    Asia-Pacific Workshop on Systems, APSYS 2012 Proceedings of the Asia-Pacific Workshop on Systems, APSYS'12   2012.10

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/2349896.2349908

  • Soot-based implementation of a demand-driven reaching definitions analysis

    Longwen Lu, Cheng Zhang, Jianjun Zhao

    ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012 Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012   21 - 26   2012.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/2259051.2259055

  • Automatic parameter recommendation for practical API usage

    Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou

    34th International Conference on Software Engineering, ICSE 2012 Proceedings - 34th International Conference on Software Engineering, ICSE 2012   826 - 836   2012.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ICSE.2012.6227136

  • An in-depth investigation into the relationships between structural metrics and unit testability in object-oriented systems Reviewed

    Yu Ming Zhou, Hareton Leung, Qin Bao Song, Jian Jun Zhao, Hong Min Lu, Lin Chen, Bao Wen Xu

    Science China Information Sciences   55 ( 12 )   2800 - 2815   2012.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s11432-012-4745-x

  • Frequency estimation of virtual call targets for object-oriented programs

    Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuting Chen

    25th European Conference on Object-Oriented Programming, ECOOP 2011 ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Proceedings   510 - 532   2011.8

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1007/978-3-642-22655-7_24

  • Probabilistic points-to analysis for Java

    Qiang Sun, Jianjun Zhao, Yuting Chen

    20th International Conference on Compiler Construction, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings   62 - 81   2011.4

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1007/978-3-642-19861-8_5

  • AutoLog Facing log redundancy and insufficiency

    Cheng Zhang, Zhenyu Guo, Ming Wu, Longwen Lu, Yu Fan, Jianjun Zhao, Zheng Zhang

    2nd Asia-Pacific Workshop on Systems, APSys'11 Proceedings of the 2nd Asia-Pacific Workshop on Systems, APSys'11   2011

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/2103799.2103811

  • EFindBugs Effective error ranking for FindBugs

    Haihao Shen, Jianhong Fang, Jianjun Zhao

    4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011 Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011   299 - 308   2011

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ICST.2011.51

  • BPGen An automated breakpoint generator for debugging

    Cheng Zhang, Dacong Yan, Jianjun Zhao, Yuting Chen, Shengqian Yang

    32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010 ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering   271 - 274   2010.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/1810295.1810351

  • A lightweight and portable approach to making concurrent failures reproducible

    Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu

    13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010 Fundamental Approaches to Software Engineering - 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proceedings   323 - 337   2010.4

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1007/978-3-642-12029-9_23

  • A divergence-oriented approach to adaptive random testing of Java programs

    Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao

    24th IEEE/ACM International Conference on Automated Software Engineering, ASE2009 ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering   221 - 232   2009.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ASE.2009.13

  • Identifying semantic differences in AspectJ programs

    18th International Symposium on Software Testing and Analysis, ISSTA 2009 Proceedings of the 18th International Symposium on Software Testing and Analysis, ISSTA 2009   25 - 35   2009.7

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/1572272.1572276

  • Incremental call graph reanalysis for AspectJ software

    Yu Lin, Sai Zhang, Jianjun Zhao

    2009 IEEE International Conference on Software Maintenance, ICSM 2009 2009 IEEE International Conference on Software Maintenance, ICSM 2009 - Proceedings of the Conference   306 - 315   2009

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ICSM.2009.5306311

  • Test case prioritization based on analysis of program structure Reviewed

    Ma Zengkai, Zhao Jianjun

    15th Asia-Pacific Software Engineering Conference, APSEC 2008 Neonatal, Paediatric and Child Health Nursing   471 - 478   2008.12

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1109/APSEC.2008.63

  • XFindBugs eXtended FindBugs for AspectJ

    Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao

    2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08 Proceedings of the 2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08   70 - 76   2008.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/1512475.1512490

  • Test case prioritization based on analysis of program structure

    Zengkai Ma, Jianjun Zhao

    15th Asia-Pacific Software Engineering Conference, APSEC 2008 Proceedings - 15th Asia-Pacific Software Engineering Conference, APSEC 2008   471 - 478   2008.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Maintenance support for aspect-oriented programs Opportinuties and challenges

    Jianjun Zhao

    24th IEEE International Conference on Software Maintenance, ICSM 2008 Proceedings of the 24th IEEE International Conference on Software Maintenance, ICSM 2008   482 - 483   2008.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ICSM.2008.4658115

  • Flota A programmer assistant for locating faulty changes in AspectJ software evolution

    Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao

    4th Linking Aspect Technology and Evolution Workshop, LATE'08 - Held at the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008 Proceedings of the 4th Linking Aspect Technology and Evolution Workshop, LATE'08 - held at the 7th International Conference on Aspect-Oriented Software Development   2008.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/1404953.1404959

  • Effective identification of failure-inducing changes A hybrid approach

    Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao

    2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08 Proceedings of the 2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08   77 - 83   2008.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/1512475.1512492

  • Change impact analysis for AspectJ programs

    Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao

    24th IEEE International Conference on Software Maintenance, ICSM 2008 Proceedings of the 24th IEEE International Conference on Software Maintenance, ICSM 2008   87 - 96   2008.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ICSM.2008.4658057

  • Celadon A change impact analysis tool for aspect-oriented programs

    Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao

    30th International Conference on Software Engineering 2008, ICSE'08 ICSE'08 Proceedings of the 30th International Conference on Software Engineering 2008   913 - 914   2008.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/1370175.1370184

  • AutoFlow An automatic debugging tool for AspectJ software

    Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao

    24th IEEE International Conference on Software Maintenance, ICSM 2008 Proceedings of the 24th IEEE International Conference on Software Maintenance, ICSM 2008   470 - 471   2008.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ICSM.2008.4658109

  • Aspect-aware points-to analysis

    Qiang Sun, Jianjun Zhao

    8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008 Proceedings - 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008   143 - 152   2008.11

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/SCAM.2008.30

  • An empirical study of maintainability in aspect-oriented system evolution using coupling metrics

    Haihao Shen, Sai Zhang, Jianjun Zhao

    2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008 Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008   233 - 236   2008.9

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/TASE.2008.17

  • Specifying pointcuts in AspectJ

    Yi Wang, Jianjun Zhao

    31st Annual International Computer Software and Applications Conference, COMPSAC 2007 Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007   5 - 10   2007.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/COMPSAC.2007.196

  • 1st workshop on assessment of contemporary modularization techniques (ACoM.07)

    Alessandro Garcia, Elisa Baniassad, Cristina Videira Lopes, Christa Schwanninger, Jianjun Zhao

    29th International Conference on Software Engineering, ICSE 2007 Proceedings - 29th International Conference on Software Engineering, ICSE 2007; Companion Volume   144 - 145   2007.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ICSECOMPANION.2007.1

  • On identifying bug patterns in aspect-oriented programs

    Sai Zhang, Jianjun Zhao

    31st Annual International Computer Software and Applications Conference, COMPSAC 2007 Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007   431 - 438   2007

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/COMPSAC.2007.159

  • Perspectives on automated testing of aspect-oriented programs

    Tao Xie, Jianjun Zhao

    3rd Workshop on Testing Aspect-Oriented Programs, WTAOP'07, held at the 6th International Conference on Aspect-Oriented Software Development Proceedings of the Third Workshop on Testing Aspect-Oriented Programs, WTAOP'07, held at the Sixth International Conference on Aspect-Oriented Software Development   210   7 - 12   2007

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/1229384.1229386

  • Towards regression test selection for AspectJ programs

    Jianjun Zhao, Tao Xie, Nan Li

    2nd Workshop on Testing Aspect-oriented Programs, WTAOP '06 Proceedings of the 2nd Workshop on Testing Aspect-oriented Programs, WTAOP '06   21 - 26   2006.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/1146374.1146378

  • Detecting redundant unit tests for AspectJ programs

    Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin

    17th International Symposium on Software Reliability Engineering, ISSRE 2006 Proceedings - 17th International Symposium on Software Reliability Engineering, ISSRE 2006   179 - 188   2006.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ISSRE.2006.21

  • Control-flow analysis and representation for aspect-oriented programs

    Jianjun Zhao

    6th International Conference on Quality Software, QSIC 2006 Proceedings - Sixth International Conference on Quality Software, QSIC 2006   38 - 45   2006.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/QSIC.2006.20

  • A framework and tool supports for generating test inputs of AspectJ programs

    Tao Xie, Jianjun Zhao

    5th International Conference on Aspect-oriented Software Development 2006, AOSD'06 Proceedings of the 5th International Conference on Aspect-oriented Software Development 2006, AOSD'06   190 - 201   2006.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1145/1119655.1119681

  • 2nd Asian workshop on aspect-oriented software development (AOAsia)

    Elisa Baniassad, Kung Chen, Shigeru Chiba, Jan Hannemann, Hidehiko Masuhara, Shangping Ren, Jianjun Zhao

    21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006 Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006   2006.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ASE.2006.5

  • A model for slicing JAVA programs hierarchically Reviewed

    Bi Xin Li, Xiao Cong Fan, Jun Pang, Jian Jun Zhao

    Journal of Computer Science and Technology   19 ( 6 )   848 - 858   2004.11

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/BF02973448

  • Complexity metrics for software architectures Reviewed

    Jianjun Zhao

    IEICE Transactions on Information and Systems   E87-D ( 8 )   2152 - 2156   2004.8

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Measuring aspect cohesion

    Jianjun Zhao, Baowen Xu

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   54 - 68   2004.1

     More details

    Language:English  

    DOI: 10.1007/978-3-540-24721-0_4

  • O(1) time algorithm on BSR for constructing a binary search tree with best frequencies Reviewed

    Limin Xiang, Kazuo Ushijiam, Kai Cheng, Jianjun Zhao, Cunwei Lu

    5th International Conference, PDCAT 2004 Lecture Notes in Computer Science   3320   218 - 225   2004

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/978-3-540-30501-9_48

  • Practical 3-D image measurement system using monochrome-projection color-analysis technique

    Cunwei Lu, Genki Cho, Jianjun Zhao

    Proceedings of the Seventh IASTED International Conference on Computer Graphics and Imaging Proceedings of the Seventh IASTED International Conference on Computer Graphics and Imaging   254 - 259   2004

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • A toolkit for Java bytecode analysis

    Jianjun Zhao, Cunwei Lu, Baowen Xu

    Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications   482 - 487   2003.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Data-Flow-Based Unit Testing of Aspect-Oriented Programs Reviewed

    Jianjun Zhao

    Proceedings: 27th Annual International Computer Software and Applications Conference, COMPSAC 2003 Proceedings - IEEE Computer Society's International Computer Software and Applications Conference   188 - 197   2003.12

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Pipa A behavioral interface specification language for AspectJ Reviewed

    Jianjun Zhao, Martin Rinard

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   2621   150 - 165   2003.12

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Concurrent Ada dead statements detection Reviewed International journal

    Zhenqiang Chen, Baowen Xu, Hongji Yang, Jianjun Zhao

    Information and Software Technology   44 ( 13 )   733 - 741   2002.10

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/S0950-5849(02)00106-4

  • Change impact analysis to support architectural evolution Reviewed

    Jianjun Zhao, Hongji Yang, Liming Xiang, Baowen Xu

    Journal of Software Maintenance and Evolution   14 ( 5 )   317 - 333   2002.9

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1002/smr.258

  • Time optimal n-size matching parentheses and binary tree decoding algorithms on a p-processor BSR Reviewed

    Limin Xiang, Kazuo Ushijima, Jianjun Zhao

    Parallel Processing Letters   12 ( 3-4 )   365 - 374   2002.9

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Slicing aspect-oriented software

    Jianjun Zhao

    10th International Workshop on Program Comprehension, IWPC 2002 Proceedings - 10th International Workshop on Program Comprehension, IWPC 2002   251 - 260   2002.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/WPC.2002.1021346

  • Static dependency analysis for concurrent ada 95 programs

    Zhenqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang

    7th International Conference on Reliable Software Technologies, Ada-Europe 2002 Reliable Software Technologies - Ada-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Proceedings   219 - 230   2002.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1007/3-540-48046-3_17

  • Architectural-level metrics for software systems

    Jianjun Zhao

    Proceedings of the Sixth International Conference for Young Computer Scientist: In Computer Science and Technology in New Century Proceedings of the Sixth International Conference for You Computer Scientist in Computer Science and Technology in New Century   29 - 33   2001.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Static analysis of Java bytecode Reviewed International journal

    Jianjun Zhao

    Wuhan University Journal of Natural Sciences   6 ( 1-2 )   383 - 390   2001.3

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/BF03160273

  • CLPKIDS A program analysis system for concurrent logic programs Reviewed

    Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

    Proceedings - IEEE Computer Society's International Computer Software and Applications Conference   531 - 537   2001.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1109/CMPSAC.2001.960664

  • Dynamic slicing of object-oriented programs Reviewed

    Jianjun Zhao

    Wuhan University Journal of Natural Sciences   6 ( 1-2 )   391 - 397   2001.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/BF03160274

  • Computing executable slices for concurrent logic programs

    Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

    2nd Asia-Pacific Conference on Quality Software, APAQS 2001 Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001   13 - 22   2001.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/APAQS.2001.989997

  • Slicing-based approach to extracting reusable software architectures Reviewed

    Jianjun Zhao

    The 4th European Conference on Software Maintenance and Reegineering - CSMR 2000 Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR   215 - 223   2000.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Dependence analysis of Java bytecode Reviewed

    Jianjun Zhao

    Unknown Journal   486 - 491   2000

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Dependence analysis at the architectural level Reviewed

    Jianjun Zhao

    Chinese Journal of Advanced Software Research   6 ( 2 )   164 - 168   1999.12

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • Multithreaded dependence graphs for concurrent Java programs

    Jianjun Zhao

    1999 International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999 Proceedings - International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999   13 - 23   1999.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/PDSE.1999.779735

  • Slicing concurrent Java programs

    Jianjun Zhao

    7th International Workshop on Program Comprehension, IWPC 1999 Proceedings - 7th International Workshop on Program Comprehension, IWPC 1999   126 - 133   1999.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/WPC.1999.777751

  • A dependence-based representation for concurrent object-oriented software maintenance

    Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

    2nd Euromicro Conference on Software Maintenance and Reengineering, CSMR 1998 Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering, CSMR 1998   60 - 66   1998.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/CSMR.1998.665734

  • Applying slicing technique to software architectures

    Jianjun Zhao

    4th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 1998 Proceedings - 4th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 1998   87 - 98   1998.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/ICECCS.1998.706659

  • A metrics suite for concurrent logic programs

    Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

    2nd Euromicro Conference on Software Maintenance and Reengineering, CSMR 1998 Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering, CSMR 1998   172 - 178   1998.1

     More details

    Language:English   Publishing type:Research paper (other academic)  

    DOI: 10.1109/CSMR.1998.665796

  • Program dependence analysis of concurrent logic programs and its applications

    Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

    Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96) Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS   282 - 291   1996.8

     More details

    Language:English   Publishing type:Research paper (other academic)  

  • Static slicing of concurrent object-oriented programs Reviewed

    Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

    Proceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96 Proceedings - IEEE Computer Society's International Computer Software & Applications Conference   312 - 320   1996.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

▼display all

Books

  • "Architectural Slicing to Support System Evolution" in In Khaled M. Khan and Yan Zhang (Eds.) "Managing Corporate Information Systems Evolution and Maintenance,"

    Jianjun Zhao, Limin Xiang( Role: Joint author)

    Idea Group Publishing  2005.1 

     More details

    Responsible for pages:Chapter 8, pp.197-210   Language:English   Book type:Scholarly book

Professional Memberships

  • IEEE Computer Society

  • Association for Computing Machinery (ACM)

  • China Computer Federation (CCF)

  • The Institute of Electronics, Information and Communications (IEICE)

  • Information Processing Society of Japan

  • Japan Society of Software Science and Technology

▼display all

Committee Memberships

  • Steering committee member   Domestic

    2021.4 - 2025.3   

  • Steering committee member   Domestic

    2018.6 - Present   

  • 電子情報通信学会ソフトウェアサイエンス研究会   専門委員   Domestic

    2018.6 - Present   

Academic Activities

  • Program Committee Member International contribution

    The 32nd ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2024)  ( Porto de Galinhas Brazil ) 2024.7

     More details

    Type:Competition, symposium, etc. 

    Number of participants:550

  • Program Committee Member International contribution

    The 31th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023), Ideas, Visions and Reflections Track  ( San Francisco, California UnitedStatesofAmerica ) 2023.12

     More details

    Type:Competition, symposium, etc. 

    Number of participants:500

  • Program Committee Member International contribution

    The 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022), Ideas, Visions and Reflections Track  ( Singapore Singapore ) 2022.11

     More details

    Type:Competition, symposium, etc. 

  • Program Co-Chair International contribution

    The Second International Workshop on Quantum Software Engineering (Q-SE 2022)  ( Virtual Event ) 2022.5

     More details

    Type:Competition, symposium, etc. 

    Number of participants:30

  • Program Committee Member International contribution

    The 26th International Conference on Engineering of Complex Computer Systems  ( Hiroshima Japan ) 2022.3

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)  ( Virtual Event UnitedStatesofAmerica ) 2022.3

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)  ( Virtual Event Australia ) 2021.11

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021)  ( Athens Greece ) 2021.8

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The Second International Workshop on Quantum Software Engineering (Q-SE 2021)  ( Virtual Event ) 2021.6

     More details

    Type:Competition, symposium, etc. 

    Number of participants:30

  • Program Committee Member International contribution

    The 43th International Conference on Software Engineering (ICSE 2021)  ( Madrid Spain ) 2021.5

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2021)  ( Virtual Event UnitedStatesofAmerica ) 2021.3

     More details

    Type:Competition, symposium, etc. 

  • Screening of academic papers

    Role(s): Peer review

    2021

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:3

    Proceedings of International Conference Number of peer-reviewed papers:49

  • Program Committee Member for New Ideas Track International contribution

    The 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020)  ( Adelaide Australia ) 2020.9 - 2020.10

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)  ( Melbourne Australia ) 2020.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The First International Workshop on Quantum Software Engineering (Q-SE 2020)  ( Virtual Event ) 2020.7

     More details

    Type:Competition, symposium, etc. 

    Number of participants:30

  • Program Committee Member International contribution

    The 42th International Conference on Software Engineering (ICSE 2020)  ( Seoul Korea ) 2020.5

     More details

    Type:Competition, symposium, etc. 

    Number of participants:1,000

  • Program Committee Member International contribution

    The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)  ( San Diego, California UnitedStatesofAmerica ) 2019.11

     More details

    Type:Competition, symposium, etc. 

  • General Co-Chair International contribution

    The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)  ( Fukuoka Japan ) 2019.10

     More details

    Type:Competition, symposium, etc. 

  • General Co-Chair International contribution

    The 11th Asia-Pacific Symposium on Internetware (Internetware 2019)  ( Fukuoka Japan ) 2019.10

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member for Tool Demo Track International contribution

    The 33rd IEEE/ACM International Conference on Automated Software Engineering  ( Montpellier France ) 2019.9

     More details

    Type:Competition, symposium, etc. 

    Number of participants:400

  • Program Committee Member International contribution

    The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)  ( Tallinn Estonia ) 2019.8

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 18th International Conference on Software and Systems Reuse (ICSR 2019)  ( University of Cincinnati, Cincinnati UnitedStatesofAmerica ) 2019.6

     More details

    Type:Competition, symposium, etc. 

  • Co-Organizer International contribution

    1st IEEE International Workshop on Machine Learning and Software Testing (MLST 2019)  ( Xi'an China ) 2019.4

     More details

    Type:Competition, symposium, etc. 

    Number of participants:40

  • Computers International contribution

    2019.1 - 2021.6

     More details

    Type:Academic society, research group, etc. 

  • Program Committee Member International contribution

    18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2018)  ( Madrid Spain ) 2018.9

     More details

    Type:Competition, symposium, etc. 

    Number of participants:75

  • Program Committee Member International contribution

    The 10th Asia-Pacific Symposium on Internetware (Internetware 2018)  ( Beijing China ) 2018.9

     More details

    Type:Competition, symposium, etc. 

    Number of participants:120

  • Program Committee Member International contribution

    15th International Conference on Managed Languages & Runtimes (ManLang 2018)  ( Linz Austria ) 2018.9

     More details

    Type:Competition, symposium, etc. 

  • Program Board Member International contribution

    The 40th International Conference on Software Engineering (ICSE 2018)  ( Gothenburg Sweden ) 2018.5 - 2018.6

     More details

    Type:Competition, symposium, etc. 

  • General Co-Chair International contribution

    The 22th International Conference on Engineering of Complex Computer Systems  ( Fukuoka Japan ) 2017.11

     More details

    Type:Competition, symposium, etc. 

    Number of participants:50

  • Steering Committee Member, Program Committee Member International contribution

    The 16th China National Software Application Conference (NASAC 2017)  ( Harbin China ) 2017.11

     More details

    Type:Competition, symposium, etc. 

    Number of participants:400

  • Program Committee Member International contribution

    CoCoS 2017 Workshop on Comprehension of Complex Systems  ( Vancouver Canada ) 2017.10

     More details

    Type:Competition, symposium, etc. 

    Number of participants:20

  • Program Committee Member International contribution

    14th International Conference on Managed Languages & Runtimes (ManLang 2017) (formerly PPPJ)  ( Prague CzechRepublic ) 2017.9

     More details

    Type:Competition, symposium, etc. 

  • Doctoral Symposium Co-Chair International contribution

    The 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017)  ( Shanghai China ) 2017.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME-NIER 2017)  ( Shanghai China ) 2017.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Co-Chair International contribution

    17th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2017)  ( Shanghai China ) 2017.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 2017 IEEE International Conference on Software Quality, Reliability & Security (QRS 2017)  ( Prague CzechRepublic ) 2017.7

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 18h IEEE International Conference on Software Quality, Reliability & Security (QRS 2018)  ( Lisbon Portugal ) 2017.7

     More details

    Type:Competition, symposium, etc. 

    Number of participants:200

  • Program Committee Member International contribution

    EATA Symposia oftThe 41th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017)  ( Turin Italy ) 2017.7

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The COMPSAC 2017 symposium on IT in Practice (ITiP)  ( Politecnico di Torino, Turin Italy ) 2017.7

     More details

    Type:Competition, symposium, etc. 

  • Steering Committee Member International contribution

    The 15th China National Software Application Conference (NASAC 2016)  ( Kunming China ) 2016.11

     More details

    Type:Competition, symposium, etc. 

    Number of participants:400

  • Advisory Committee Member, Program Committee Member International contribution

    The Annual Conference on Software Analysis, Testing and Evolution (SATE 2016)  ( Kunming China ) 2016.11

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME 2016) (Early Research Achievements Track)  ( Raleigh, North Carolina UnitedStatesofAmerica ) 2016.10

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Co-Chair International contribution

    The Eighth Asia-Pacific Symposium on Internetware (Internetware 2016)  ( Beijing China ) 2016.9

     More details

    Type:Competition, symposium, etc. 

    Number of participants:50

  • Program Committee Member International contribution

    2016 International Conference on Principles and Practices of Programming on the Java Platform: virtual machines, languages, and tools (PPPJ 2016)  ( Lugano Switzerland ) 2016.8 - 2016.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016)  ( Vienna Austria ) 2016.8

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 40th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2016)  ( Altlanta UnitedStatesofAmerica ) 2016.6

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 13th International Workshop on Dynamic Analysis (WODA 2015)  ( Pittsburgh UnitedStatesofAmerica ) 2015.10

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    2015 International Conference on Principles and Practices of Programming on the Java Platform: virtual machines, languages, and tools (PPPJ 2015)  ( Melbourne, Florida UnitedStatesofAmerica ) 2015.9 - 2016.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015)  ( Bergamo Italy ) 2015.8 - 2015.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 2015 IEEE International Conference on Software Quality, Reliability & Security (QRS 2015)  ( Vancouver Canada ) 2015.8

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 39th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2015)  ( Taichung Taiwan ) 2015.7

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 12th Working IEEE/IFIP Conference on Software Architecture (WICSA 2015)  ( Canada ) 2015.5

     More details

    Type:Competition, symposium, etc. 

    Number of participants:200

  • 座長(Chairmanship) International contribution

    2014.11 - 2016.11

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014)  ( Hong Kong China ) 2014.11

     More details

    Type:Competition, symposium, etc. 

  • Organization Chair International contribution

    The 2014 International Conference on Progress in Informatics and Computing (PIC 2014)  ( Shanghai China ) 2014.5

     More details

    Type:Competition, symposium, etc. 

    Number of participants:150

  • Program Committee Member International contribution

    The 11th Working IEEE/IFIP Conference on Software Architecture (WICSA 2014)  ( Sydney Australia ) 2014.4

     More details

    Type:Competition, symposium, etc. 

    Number of participants:120

  • Program Committee Member International contribution

    The Joint 18th European Conference on Software Maintenance and Reengineering / 21st Working Conference on Reverse Engineering (CSMR-18/WCRE-21)  ( Antwerp Belgium ) 2014.2

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    17th European Conference on Software Maintenance and Reengineering (CMSR 2013)  ( Genova Italy ) 2013.3

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012)  ( Kyoto Japan ) 2012.12

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The International Conference on Generative Programming and Component Engineering (GPCE 2012)  ( Dresden Germany ) 2012.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 12th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2012)  ( Trento Italy ) 2012.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The joint 10th Working IEEE/IFIP Conference on Software Architecture and 6th European Conference on Software Architecture (WICSA/ECSA 2012)  ( Helsinki Finland ) 2012.8

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 26th European Conference on Object-Oriented Programming (ECOOP 2012)  ( Beijing China ) 2012.6

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The Third International Workshop on Recommendation Systems for Software Engineering (RSSE 2012), ICSE 2012  ( Zurich Switzerland ) 2012.6

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The International Conference on Aspect-Oriented Software Development (AOSD 2011)  ( Porto de Galinhas Brazil ) 2011.3

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 24th IEEE International Conference on Software Maintenance (ICSM 2008)  ( Beijing China ) 2008.9 - 2008.10

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 23th IEEE International Conference on Software Maintenance (ICSM 2007)  ( Paris France ) 2007.10

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The International Conference on Fundamental Approach on Software Engineering (FASE 2007)  ( Braga Portugal ) 2007.3 - 2007.4

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 22th IEEE International Conference on Software Maintenance (ICSM 2006)  ( Philadelphia UnitedStatesofAmerica ) 2006.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 21th IEEE International Conference on Software Maintenance (ICSM 2005)  ( Budapest Hungary ) 2005.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The International Conference on Aspect-Oriented Software Development (AOSD 2005)  ( Chicago UnitedStatesofAmerica ) 2005.3

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The International Conference on Aspect-Oriented Software Development (AOSD 2004)  ( Lancaster UnitedKingdom ) 2005.3

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 15th IEEE International Conference on Software Reliability Engineering (ISSRE 2004)  ( Saint-Malo France ) 2004.11

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 20th IEEE International Conference on Software Maintenance (ICSM 2004)  ( Chicago UnitedStatesofAmerica ) 2004.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 19th IEEE International Conference on Software Maintenance (ICSM 2003)  ( Amsterdam Netherlands ) 2003.9

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The International Conference on Aspect-Oriented Software Development (AOSD 2003)  ( Boston UnitedStatesofAmerica ) 2003.3

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 18th IEEE International Conference on Software Maintenance (ICSM 2002)  ( Canada ) 2002.10

     More details

    Type:Competition, symposium, etc. 

  • Program Committee Member International contribution

    The 17th IEEE International Conference on Software Maintenance (ICSM 2001)  ( Florence Italy ) 2001.11

     More details

    Type:Competition, symposium, etc. 

▼display all

Research Projects

  • AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究

    Grant number:23H03372  2023 - 2025

    日本学術振興会  科学研究費助成事業  基盤研究(B)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • 深層学習システムの自動テスト技術の確立

    Grant number:19H04086  2019 - 2022

    日本学術振興会  科学研究費助成事業  基盤研究(B)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • 自動デバッグを可能にする群衆知エコシステムの確立

    Grant number:18H04097  2018 - 2021

    日本学術振興会  科学研究費助成事業  基盤研究(A)

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

  • リアクティブプログラムの依存性解析とその応用に関する研究

    Grant number:16H07031  2016 - 2017

    日本学術振興会  科学研究費助成事業  研究活動スタート支援

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

Class subject

  • 機械学習工学特論

    2024.6 - 2024.8   Summer quarter

  • Machine Learning System Engineering

    2024.6 - 2024.8   Summer quarter

  • プログラミング言語論II

    2024.6 - 2024.8   Summer quarter

  • 機械学習工学特論

    2024.6 - 2024.8   Summer quarter

  • プログラミング言語論Ⅱ

    2024.6 - 2024.8   Summer quarter

  • プログラミング言語論B

    2024.6 - 2024.8   Summer quarter

  • 電気情報工学卒業研究

    2024.4 - 2025.3   Full year

  • 【通年】情報理工学講究

    2024.4 - 2025.3   Full year

  • 【通年】情報理工学研究Ⅰ

    2024.4 - 2025.3   Full year

  • 【通年】情報理工学演習

    2024.4 - 2025.3   Full year

  • 情報理工学論議Ⅰ

    2024.4 - 2024.9   First semester

  • 情報理工学論述Ⅰ

    2024.4 - 2024.9   First semester

  • 情報理工学読解

    2024.4 - 2024.9   First semester

  • プログラミング言語論I

    2024.4 - 2024.6   Spring quarter

  • プログラミング言語論A

    2024.4 - 2024.6   Spring quarter

  • プログラミング言語論Ⅰ

    2024.4 - 2024.6   Spring quarter

  • 技術表現法II

    2023.12 - 2024.2   Winter quarter

  • 情報理工学論述Ⅱ

    2023.10 - 2024.3   Second semester

  • 情報理工学論議Ⅱ

    2023.10 - 2024.3   Second semester

  • 技術表現法I

    2023.10 - 2023.12   Fall quarter

  • 機械学習工学特論

    2023.6 - 2023.8   Summer quarter

  • プログラミング言語論II

    2023.6 - 2023.8   Summer quarter

  • 国際演示技法

    2023.4 - 2024.3   Full year

  • Advanced Seminar in Information Science and Technology

    2023.4 - 2024.3   Full year

  • システム開発方法論特別講究

    2023.4 - 2024.3   Full year

  • Advanced Research in System Development Methodologies

    2023.4 - 2024.3   Full year

  • 情報知能工学特別講究第一

    2023.4 - 2024.3   Full year

  • 情報知能工学特別講究第二

    2023.4 - 2024.3   Full year

  • 知的情報システム工学特別演習

    2023.4 - 2024.3   Full year

  • 社会情報システム工学特別演習

    2023.4 - 2024.3   Full year

  • Advanced Research in Advanced Information Technology I

    2023.4 - 2024.3   Full year

  • Advanced Research in Advanced Information Technology II

    2023.4 - 2024.3   Full year

  • Adv Semi in Intelligent Information Systems Engineering

    2023.4 - 2024.3   Full year

  • Advanced Seminar in Social Information Systems Engineering

    2023.4 - 2024.3   Full year

  • 国際演示技法Ⅰ

    2023.4 - 2024.3   Full year

  • 国際演示技法Ⅱ

    2023.4 - 2024.3   Full year

  • 知的財産技法Ⅰ

    2023.4 - 2024.3   Full year

  • 知的財産技法Ⅱ

    2023.4 - 2024.3   Full year

  • ティーチング演習Ⅰ

    2023.4 - 2024.3   Full year

  • ティーチング演習Ⅱ

    2023.4 - 2024.3   Full year

  • 先端プロジェクト管理技法Ⅰ

    2023.4 - 2024.3   Full year

  • 先端プロジェクト管理技法Ⅱ

    2023.4 - 2024.3   Full year

  • Scientific English Presentation I

    2023.4 - 2024.3   Full year

  • Scientific English Presentation II

    2023.4 - 2024.3   Full year

  • Intellectual Property Management I

    2023.4 - 2024.3   Full year

  • Intellectual Property Management II

    2023.4 - 2024.3   Full year

  • Exercise in Teaching I

    2023.4 - 2024.3   Full year

  • Exercise in Teaching II

    2023.4 - 2024.3   Full year

  • Advanced Project Management I

    2023.4 - 2024.3   Full year

  • Advanced Project Management II

    2023.4 - 2024.3   Full year

  • 電気情報工学卒業研究

    2023.4 - 2024.3   Full year

  • Advanced Project Management Technique

    2023.4 - 2024.3   Full year

  • Exercise in Teaching

    2023.4 - 2024.3   Full year

  • Intellectual Property Management

    2023.4 - 2024.3   Full year

  • Scientific English Presentation

    2023.4 - 2024.3   Full year

  • 先端プロジェクト管理技法

    2023.4 - 2024.3   Full year

  • ティーチング演習

    2023.4 - 2024.3   Full year

  • 知的財産技法

    2023.4 - 2024.3   Full year

  • プログラミング言語論I

    2023.4 - 2023.6   Spring quarter

  • 技術表現法B

    2022.12 - 2023.2   Winter quarter

  • 情報理工学論議Ⅱ

    2022.10 - 2023.3   Second semester

  • 情報理工学論述Ⅱ

    2022.10 - 2023.3   Second semester

  • 技術表現法A

    2022.10 - 2022.12   Fall quarter

  • 機械学習工学特論

    2022.6 - 2022.8   Summer quarter

  • プログラミング言語論B

    2022.6 - 2022.8   Summer quarter

  • プログラミング演習(P)

    2022.6 - 2022.8   Summer quarter

  • Advanced Project Management Technique

    2022.4 - 2023.3   Full year

  • 電気情報工学卒業研究

    2022.4 - 2023.3   Full year

  • 国際演示技法

    2022.4 - 2023.3   Full year

  • 知的財産技法

    2022.4 - 2023.3   Full year

  • ティーチング演習

    2022.4 - 2023.3   Full year

  • 先端プロジェクト管理技法

    2022.4 - 2023.3   Full year

  • Scientific English Presentation

    2022.4 - 2023.3   Full year

  • Intellectual Property Management

    2022.4 - 2023.3   Full year

  • Exercise in Teaching

    2022.4 - 2023.3   Full year

  • プログラミング言語論

    2022.4 - 2022.9   First semester

  • プログラミング言語論A

    2022.4 - 2022.6   Spring quarter

  • 技術表現法B

    2021.12 - 2022.2   Winter quarter

  • 技術表現法

    2021.10 - 2022.3   Second semester

  • 情報知能工学演習第三

    2021.10 - 2022.3   Second semester

  • 情報知能工学講究第三

    2021.10 - 2022.3   Second semester

  • 技術表現法A

    2021.10 - 2021.12   Fall quarter

  • プログラミング言語論B

    2021.6 - 2021.8   Summer quarter

  • 機械学習工学特論

    2021.6 - 2021.8   Summer quarter

  • [M2]機械学習工学特論

    2021.6 - 2021.8   Summer quarter

  • 電気情報工学卒業研究

    2021.4 - 2022.3   Full year

  • 国際演示技法

    2021.4 - 2022.3   Full year

  • 知的財産技法

    2021.4 - 2022.3   Full year

  • ティーチング演習

    2021.4 - 2022.3   Full year

  • 先端プロジェクト管理技法

    2021.4 - 2022.3   Full year

  • Scientific English Presentation

    2021.4 - 2022.3   Full year

  • Intellectual Property Management

    2021.4 - 2022.3   Full year

  • Exercise in Teaching

    2021.4 - 2022.3   Full year

  • Advanced Project Management Technique

    2021.4 - 2022.3   Full year

  • システム開発方法論特別講究

    2021.4 - 2022.3   Full year

  • Advanced Research in System Development Methodologies

    2021.4 - 2022.3   Full year

  • 情報知能工学特別講究第一

    2021.4 - 2022.3   Full year

  • 情報知能工学特別講究第二

    2021.4 - 2022.3   Full year

  • 知的情報システム工学特別演習

    2021.4 - 2022.3   Full year

  • 社会情報システム工学特別演習

    2021.4 - 2022.3   Full year

  • Advanced Research in Advanced Information Technology I

    2021.4 - 2022.3   Full year

  • Advanced Research in Advanced Information Technology II

    2021.4 - 2022.3   Full year

  • Adv Semi in Intelligent Information Systems Engineering

    2021.4 - 2022.3   Full year

  • Advanced Seminar in Social Information Systems Engineering

    2021.4 - 2022.3   Full year

  • 情報知能工学特別研究

    2021.4 - 2022.3   Full year

  • 情報知能工学演習第三

    2021.4 - 2021.9   First semester

  • プログラミング言語論

    2021.4 - 2021.9   First semester

  • プログラミング言語論A

    2021.4 - 2021.6   Spring quarter

  • 技術表現法B

    2020.12 - 2021.2   Winter quarter

  • 情報知能工学講究第三

    2020.10 - 2021.3   Second semester

  • Seminar in Advanced Information Technology I

    2020.10 - 2021.3   Second semester

  • Research of Advanced Information Technology I

    2020.10 - 2021.3   Second semester

  • 情報知能工学演習第三

    2020.10 - 2021.3   Second semester

  • 情報知能工学演習第一

    2020.10 - 2021.3   Second semester

  • 情報知能工学講究第一

    2020.10 - 2021.3   Second semester

  • 技術表現法A

    2020.10 - 2020.12   Fall quarter

  • 機械学習工学特論

    2020.6 - 2020.8   Summer quarter

  • プログラミング言語論B

    2020.6 - 2020.8   Summer quarter

  • 電気情報工学卒業研究

    2020.4 - 2021.3   Full year

  • Advanced Research in Advanced Information Technology II

    2020.4 - 2021.3   Full year

  • Adv Semi in Intelligent Information Systems Engineering

    2020.4 - 2021.3   Full year

  • Advanced Seminar in Social Information Systems Engineering

    2020.4 - 2021.3   Full year

  • 情報知能工学特別研究

    2020.4 - 2021.3   Full year

  • 情報知能工学演習第二

    2020.4 - 2020.9   First semester

  • 情報知能工学講究第二

    2020.4 - 2020.9   First semester

  • プログラミング言語論A

    2020.4 - 2020.6   Spring quarter

  • 技術表現法

    2019.10 - 2020.3   Second semester

  • 情報知能工学演習第三

    2019.10 - 2020.3   Second semester

  • 情報知能工学演習第一

    2019.10 - 2020.3   Second semester

  • 情報知能工学講究第一

    2019.10 - 2020.3   Second semester

  • 情報知能工学講究第三

    2019.10 - 2020.3   Second semester

  • 情報知能工学特別研究

    2019.4 - 2020.3   Full year

  • 電気情報工学卒業研究

    2019.4 - 2020.3   Full year

  • プログラミング言語論

    2019.4 - 2019.9   First semester

  • Programming Practice I

    2019.4 - 2019.9   First semester

  • 技術表現法

    2018.10 - 2019.3   Second semester

  • 情報知能工学演習第三

    2018.10 - 2019.3   Second semester

  • 情報知能工学演習第一

    2018.10 - 2019.3   Second semester

  • 情報知能工学講究第一

    2018.10 - 2019.3   Second semester

  • 情報知能工学講究第三

    2018.10 - 2019.3   Second semester

  • 電気情報工学卒業研究

    2018.4 - 2019.3   Full year

  • 情報知能工学特別研究

    2018.4 - 2019.3   Full year

  • プログラミング言語論

    2018.4 - 2018.9   First semester

  • 技術表現法

    2017.10 - 2018.3   Second semester

  • 情報知能工学講究第一

    2017.10 - 2018.3   Second semester

  • 情報知能工学講究第三

    2017.10 - 2018.3   Second semester

  • 情報知能工学演習第三

    2017.10 - 2018.3   Second semester

  • 情報知能工学演習第一

    2017.10 - 2018.3   Second semester

  • 電気情報工学卒業研究

    2017.4 - 2018.3   Full year

  • 情報知能工学特別研究

    2017.4 - 2018.3   Full year

  • プログラミング言語論

    2017.4 - 2017.9   First semester

  • プログラミング演習

    2017.4 - 2017.9   First semester

  • 技術表現法

    2016.10 - 2017.3   Second semester

  • 情報知能工学講究第一

    2016.10 - 2017.3   Second semester

  • 情報知能工学講究第三

    2016.10 - 2017.3   Second semester

  • 情報知能工学演習第一

    2016.10 - 2017.3   Second semester

  • 電気情報工学卒業研究

    2016.4 - 2017.3   Full year

  • 情報知能工学特別研究

    2016.4 - 2017.3   Full year

  • プログラミング言語論

    2016.4 - 2016.9   First semester

  • 情報知能工学演習第二

    2016.4 - 2016.9   First semester

▼display all

FD Participation

  • 2022.6   Role:Participation   Title:「電子ジャーナル等の今後について 」

    Organizer:[Undergraduate school/graduate school/graduate faculty]

  • 2022.5   Role:Participation   Title:若手教員による研究紹介④「量子コンピュータ・システム・アーキテクチャの研究~道具になることを目指して~」

    Organizer:University-wide

  • 2022.4   Role:Participation   Title:「シス情の第4期中期目標・中期計画等について」

    Organizer:[Undergraduate school/graduate school/graduate faculty]

  • 2021.12   Role:Participation   Title:「企業出身教員から見た大学」

    Organizer:[Undergraduate school/graduate school/graduate faculty]

  • 2020.4   Role:Participation   Title:「Moodleを利用したe-Learning実例報告(九州大学電気情報において)」

    Organizer:[Undergraduate school/graduate school/graduate faculty]

  • 2016.12   Role:Participation   Title:平成28年度「英語による教授能力」向上のための研修(FD)プログラム

    Organizer:University-wide

  • 2016.10   Role:Participation   Title:工学研究院・システム情報科学研究院合同FD「九州大学における男女共同参画の取り組み」

    Organizer:[Undergraduate school/graduate school/graduate faculty]

  • 2016.8   Role:Participation   Title:工学・システム情報 合同 ファカルティ・ディベロップメント(ELETE(カリフォルニア英語研修)成果報告)

    Organizer:[Undergraduate school/graduate school/graduate faculty]

▼display all

Visiting, concurrent, or part-time lecturers at other universities, institutions, etc.

  • 2012  国立情報科学研究所  Classification:Affiliate faculty  Domestic/International Classification:Japan 

    Semester, Day Time or Duration:2012.04-2013.03

Other educational activity and Special note

  • 2016  Special Affairs 

     詳細を見る

    I give the following lectures:
    1. Concepts of Programming Languages (for undergraduate students)
    2. Technical Writing and Presentation (for undergraduate students)

Travel Abroad

  • 2002.4 - 2003.3

    Staying countory name 1:United States   Staying institution name 1:Laboratory for Computer Science, Massachusetts Institute of Technology