2024/07/28 更新

お知らせ

 

写真a

チョウ　ケングン
趙 建軍
ZHAO JIANJUN
所属
システム情報科学研究院 情報知能工学部門 教授
工学部 電気情報工学科（併任）
システム情報科学府 情報理工学専攻（併任）
職名
教授
プロフィール
プログラム解析や検証、ソフトウェアテストなどの技術を用いて、より信頼性と安全性の高いソフトウェアシステムを構築することを目指しています。具体的には、ソフトウェアシステムにおける不具合やバグを深く理解し、ソフトウェアシステムの信頼性と安全性を保証する方法を探求しています。また、プログラムコートの自動生成、プログラムのバグの自動修復などの方法を研究しています。
ホームページ
外部リンク

学位

  • 博士（情報科学、九州大学）

  • 学士（計算機科学、清華大学）

研究テーマ・研究キーワード

  • 研究テーマ：ソフトウェア工学、プログラミング言語

    研究キーワード：プログラム解析、ソフトウェアテスト、プログラミング開発環境、自動プログラミング

    研究期間： 2016年4月

受賞

  • 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  

    　詳細を見る

    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  

論文

  • Detecting Cross-Language Clones Without Intermediates 査読 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  • Supporting Selective Undo for Refactoring 査読 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  • Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs 査読 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  • TAT: Targeted Backdoor Attacks against Visual Object Tracking 査読 国際誌

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

    Pattern Recognition   2023年4月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

  • MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation 査読 国際誌

    #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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1109/SANER56733.2023.00043

  • Core-Failure-Set Guided DARTS for Network Robustness to Common Corruptions 査読 国際誌

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

    Pattern Recognition   2022年7月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

  • xFuzz: Machine Learning Guided Cross-Contract Fuzzing 査読 国際誌

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

    IEEE Transactions on Dependable and Secure Computing   2022年6月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

  • A Comprehensive Study of Bug Fixes in Quantum Programs 査読

    #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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • Bug Characteristics in Probabilistic Programming Systems: A Comprehensive Study 査読

    #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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • Bugs4Q: A benchmark of real bugs for quantum programs 査読

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

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • An Empirical Study on Common Bugs in Deep Learning Compilers 査読

    Xiaoting Du, Zheng Zheng, Lei Ma, Jianjun Zhao

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

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

    #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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment 査読 国際誌

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

    IEEE Transactions on Reliability   1427 - 1437   2021年8月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

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

    International Conference on Computer Aided Verification   595 - 618   2021年7月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • Identifying Bug Patterns in Quantum Programs 査読

    #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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • Some Size and Structure Metrics for Quantum Software 査読

    Jianjun Zhao

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

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

    #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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • On the effectiveness of signal rescaling in hybrid system falsification 査読

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

    NASA Formal Methods Symposium   392 - 399   2021年5月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

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

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • Learning to adversarially blur visual object tracking 査読

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis 査読

    @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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    DOI： 10.1109/QRS-C5114.2020.00026

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

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms 査読

    #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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

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

    @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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • Few-Shot Guided Mix for DNN Repairing 査読

    @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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

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

    @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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

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

    @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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

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

    @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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • Scenario Testing of AngularJS-Based Single Page Web Applications 査読

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    DOI： 10.1109/ICPC.2019.00028

  • Message from the MLST 2019 chairs 査読

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1109/ICSTW.2019.00021

  • API recommendation for event-driven Android application development 査読

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

    Information and Software Technology   107   30 - 47   2019年3月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    DOI： 10.1145/3238147.3238202

  • The role of model checking in software engineering 査読

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

    Frontiers of Computer Science   12 ( 4 )   642 - 668   2018年8月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    DOI： 10.1109/APSEC.2018.00079

  • Tuning parallel symbolic execution engine for better performance 査読

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    DOI： 10.18293/SEKE2018-066

  • SPDebugger A fine-grained deterministic debugger for concurrency code 査読

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

    IEICE Transactions on Information and Systems   E100D ( 3 )   473 - 482   2017年3月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1587/transinf.2016EDP7388

  • CLCMiner Detecting Cross-Language Clones without Intermediates 査読

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

    IEICE Transactions on Information and Systems   E100D ( 2 )   273 - 284   2017年2月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    DOI： 10.1109/ASE.2015.87

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

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

    Frontiers of Computer Science   9 ( 6 )   944 - 955   2015年10月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    DOI： 10.1145/2843915.2843922

  • Program differencing for X10 査読

    Yu Ting Chen, Wei Yang, Jianjun Zhao

    Jisuanji Xuebao/Chinese Journal of Computers   38 ( 5 )   1082 - 1092   2015年5月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.3724/SP.J.1016.2015.01082

  • Biped Bidirectional prediction of order violations 査読

    Xi Chang, Zhuo Zhang, Yan Lei, Jianjun Zhao

    IEICE Transactions on Information and Systems   E98D ( 2 )   334 - 345   2015年2月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1587/transinf.2014EDP7347

  • A constraint-weaving approach to points-to analysis for AspectJ 査読

    Qiang Sun, Yuting Chen, Jianjun Zhao

    Frontiers of Computer Science   8 ( 1 )   52 - 68   2014年2月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    DOI： 10.1109/ICSE.2012.6227136

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

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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年

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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年

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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年

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    DOI： 10.1109/ICSM.2009.5306311

  • Test case prioritization based on analysis of program structure 査読

    Ma Zengkai, Zhao Jianjun

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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年

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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年

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    DOI： 10.1109/ASE.2006.5

  • A model for slicing JAVA programs hierarchically 査読

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

    Journal of Computer Science and Technology   19 ( 6 )   848 - 858   2004年11月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1007/BF02973448

  • Complexity metrics for software architectures 査読

    Jianjun Zhao

    IEICE Transactions on Information and Systems   E87-D ( 8 )   2152 - 2156   2004年8月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

    　詳細を見る

    記述言語：英語  

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

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

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

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    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年

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • Pipa A behavioral interface specification language for AspectJ 査読

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

  • Data-Flow-Based Unit Testing of Aspect-Oriented Programs 査読

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

  • Concurrent Ada dead statements detection 査読 国際誌

    Zhenqiang Chen, Baowen Xu, Hongji Yang, Jianjun Zhao

    Information and Software Technology   44 ( 13 )   733 - 741   2002年10月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（学術雑誌）  

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

  • Change impact analysis to support architectural evolution 査読

    Jianjun Zhao, Hongji Yang, Liming Xiang, Baowen Xu

    Journal of Software Maintenance and Evolution   14 ( 5 )   317 - 333   2002年9月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1002/smr.258

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

    Limin Xiang, Kazuo Ushijima, Jianjun Zhao

    Parallel Processing Letters   12 ( 3-4 )   365 - 374   2002年9月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • Static analysis of Java bytecode 査読 国際誌

    Jianjun Zhao

    Wuhan University Journal of Natural Sciences   6 ( 1-2 )   383 - 390   2001年3月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1007/BF03160273

  • CLPKIDS A program analysis system for concurrent logic programs 査読

    Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

    Proceedings - IEEE Computer Society's International Computer Software and Applications Conference   531 - 537   2001年1月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1109/CMPSAC.2001.960664

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    DOI： 10.1109/APAQS.2001.989997

  • Dynamic slicing of object-oriented programs 査読

    Jianjun Zhao

    Wuhan University Journal of Natural Sciences   6 ( 1-2 )   391 - 397   2001年1月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1007/BF03160274

  • Slicing-based approach to extracting reusable software architectures 査読

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

  • Dependence analysis of Java bytecode 査読

    Jianjun Zhao

    Unknown Journal   486 - 491   2000年

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

  • Dependence analysis at the architectural level 査読

    Jianjun Zhao

    Chinese Journal of Advanced Software Research   6 ( 2 )   164 - 168   1999年12月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

  • Static slicing of concurrent object-oriented programs 査読

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

▼全件表示

書籍等出版物

  • "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（ 担当： 共著）

    Idea Group Publishing  2005年1月 

    　詳細を見る

    担当ページ：Chapter 8, pp.197-210   記述言語：英語   著書種別：学術書

所属学協会

  • IEEE Computer Society

  • Association for Computing Machinery (ACM)

  • China Computer Federation (CCF)

  • 電子情報通信学会

  • 情報処理学会

  • 日本ソフトウェア科学会

▼全件表示

委員歴

  • 情報処理学会ソフトウェア工学研究会(SIGSE)   運営委員   国内

    2021年4月 - 2025年3月   

  • 電子情報通信学会ソフトウェアサイエンス研究会   運営委員   国内

    2018年6月 - 現在   

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

    2018年6月 - 現在   

学術貢献活動

  • Program Committee Member 国際学術貢献

    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月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：550

  • Program Committee Member 国際学術貢献

    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月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：500

  • Program Committee Member 国際学術貢献

    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月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Co-Chair 国際学術貢献

    The Second International Workshop on Quantum Software Engineering (Q-SE 2022)  （ Virtual Event ） 2022年5月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：30

  • Program Committee Member 国際学術貢献

    The 26th International Conference on Engineering of Complex Computer Systems  （ Hiroshima Japan ） 2022年3月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)  （ Virtual Event UnitedStatesofAmerica ） 2022年3月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)  （ Virtual Event Australia ） 2021年11月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021)  （ Athens Greece ） 2021年8月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The Second International Workshop on Quantum Software Engineering (Q-SE 2021)  （ Virtual Event ） 2021年6月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：30

  • Program Committee Member 国際学術貢献

    The 43th International Conference on Software Engineering (ICSE 2021)  （ Madrid Spain ） 2021年5月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2021)  （ Virtual Event UnitedStatesofAmerica ） 2021年3月

    　詳細を見る

    種別：大会・シンポジウム等 

  • 学術論文等の審査

    役割：査読

    2021年

    　詳細を見る

    種別：査読等 

    外国語雑誌　査読論文数：3

    国際会議録　査読論文数：49

  • Program Committee Member for New Ideas Track 国際学術貢献

    The 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020)  （ Adelaide Australia ） 2020年9月 - 2020年10月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)  （ Melbourne Australia ） 2020年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The First International Workshop on Quantum Software Engineering (Q-SE 2020)  （ Virtual Event ） 2020年7月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：30

  • Program Committee Member 国際学術貢献

    The 42th International Conference on Software Engineering (ICSE 2020)  （ Seoul Korea ） 2020年5月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：1,000

  • Program Committee Member 国際学術貢献

    The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)  （ San Diego, California UnitedStatesofAmerica ） 2019年11月

    　詳細を見る

    種別：大会・シンポジウム等 

  • General Co-Chair 国際学術貢献

    The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)  （ Fukuoka Japan ） 2019年10月

    　詳細を見る

    種別：大会・シンポジウム等 

  • General Co-Chair 国際学術貢献

    The 11th Asia-Pacific Symposium on Internetware (Internetware 2019)  （ Fukuoka Japan ） 2019年10月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member for Tool Demo Track 国際学術貢献

    The 33rd IEEE/ACM International Conference on Automated Software Engineering  （ Montpellier France ） 2019年9月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：400

  • Program Committee Member 国際学術貢献

    The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)  （ Tallinn Estonia ） 2019年8月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 18th International Conference on Software and Systems Reuse (ICSR 2019)  （ University of Cincinnati, Cincinnati UnitedStatesofAmerica ） 2019年6月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Co-Organizer 国際学術貢献

    1st IEEE International Workshop on Machine Learning and Software Testing (MLST 2019)  （ Xi'an China ） 2019年4月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：40

  • Computers 国際学術貢献

    2019年1月 - 2021年6月

    　詳細を見る

    種別：学会・研究会等 

  • Program Committee Member 国際学術貢献

    18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2018)  （ Madrid Spain ） 2018年9月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：75

  • Program Committee Member 国際学術貢献

    The 10th Asia-Pacific Symposium on Internetware (Internetware 2018)  （ Beijing China ） 2018年9月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：120

  • Program Committee Member 国際学術貢献

    15th International Conference on Managed Languages & Runtimes (ManLang 2018)  （ Linz Austria ） 2018年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Board Member 国際学術貢献

    The 40th International Conference on Software Engineering (ICSE 2018)  （ Gothenburg Sweden ） 2018年5月 - 2018年6月

    　詳細を見る

    種別：大会・シンポジウム等 

  • General Co-Chair 国際学術貢献

    The 22th International Conference on Engineering of Complex Computer Systems  （ Fukuoka Japan ） 2017年11月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：50

  • Steering Committee Member, Program Committee Member 国際学術貢献

    The 16th China National Software Application Conference (NASAC 2017)  （ Harbin China ） 2017年11月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：400

  • Program Committee Member 国際学術貢献

    CoCoS 2017 Workshop on Comprehension of Complex Systems  （ Vancouver Canada ） 2017年10月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：20

  • Program Committee Member 国際学術貢献

    14th International Conference on Managed Languages & Runtimes (ManLang 2017) (formerly PPPJ)  （ Prague CzechRepublic ） 2017年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Doctoral Symposium Co-Chair 国際学術貢献

    The 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017)  （ Shanghai China ） 2017年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME-NIER 2017)  （ Shanghai China ） 2017年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Co-Chair 国際学術貢献

    17th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2017)  （ Shanghai China ） 2017年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 2017 IEEE International Conference on Software Quality, Reliability & Security (QRS 2017)  （ Prague CzechRepublic ） 2017年7月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 18h IEEE International Conference on Software Quality, Reliability & Security (QRS 2018)  （ Lisbon Portugal ） 2017年7月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：200

  • Program Committee Member 国際学術貢献

    EATA Symposia oftThe 41th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017)  （ Turin Italy ） 2017年7月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The COMPSAC 2017 symposium on IT in Practice (ITiP)  （ Politecnico di Torino, Turin Italy ） 2017年7月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Steering Committee Member 国際学術貢献

    The 15th China National Software Application Conference (NASAC 2016)  （ Kunming China ） 2016年11月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：400

  • Advisory Committee Member, Program Committee Member 国際学術貢献

    The Annual Conference on Software Analysis, Testing and Evolution (SATE 2016)  （ Kunming China ） 2016年11月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

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

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Co-Chair 国際学術貢献

    The Eighth Asia-Pacific Symposium on Internetware (Internetware 2016)  （ Beijing China ） 2016年9月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：50

  • Program Committee Member 国際学術貢献

    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月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016)  （ Vienna Austria ） 2016年8月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 40th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2016)  （ Altlanta UnitedStatesofAmerica ） 2016年6月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 13th International Workshop on Dynamic Analysis (WODA 2015)  （ Pittsburgh UnitedStatesofAmerica ） 2015年10月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    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月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    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月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 2015 IEEE International Conference on Software Quality, Reliability & Security (QRS 2015)  （ Vancouver Canada ） 2015年8月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 39th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2015)  （ Taichung Taiwan ） 2015年7月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 12th Working IEEE/IFIP Conference on Software Architecture (WICSA 2015)  （ Canada ） 2015年5月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：200

  • 座長（Chairmanship） 国際学術貢献

    2014年11月 - 2016年11月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014)  （ Hong Kong China ） 2014年11月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Organization Chair 国際学術貢献

    The 2014 International Conference on Progress in Informatics and Computing (PIC 2014)  （ Shanghai China ） 2014年5月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：150

  • Program Committee Member 国際学術貢献

    The 11th Working IEEE/IFIP Conference on Software Architecture (WICSA 2014)  （ Sydney Australia ） 2014年4月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：120

  • Program Committee Member 国際学術貢献

    The Joint 18th European Conference on Software Maintenance and Reengineering / 21st Working Conference on Reverse Engineering (CSMR-18/WCRE-21)  （ Antwerp Belgium ） 2014年2月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    17th European Conference on Software Maintenance and Reengineering (CMSR 2013)  （ Genova Italy ） 2013年3月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012)  （ Kyoto Japan ） 2012年12月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The International Conference on Generative Programming and Component Engineering (GPCE 2012)  （ Dresden Germany ） 2012年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 12th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2012)  （ Trento Italy ） 2012年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The joint 10th Working IEEE/IFIP Conference on Software Architecture and 6th European Conference on Software Architecture (WICSA/ECSA 2012)  （ Helsinki Finland ） 2012年8月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 26th European Conference on Object-Oriented Programming (ECOOP 2012)  （ Beijing China ） 2012年6月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The Third International Workshop on Recommendation Systems for Software Engineering (RSSE 2012), ICSE 2012  （ Zurich Switzerland ） 2012年6月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The International Conference on Aspect-Oriented Software Development (AOSD 2011)  （ Porto de Galinhas Brazil ） 2011年3月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 24th IEEE International Conference on Software Maintenance (ICSM 2008)  （ Beijing China ） 2008年9月 - 2008年10月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 23th IEEE International Conference on Software Maintenance (ICSM 2007)  （ Paris France ） 2007年10月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The International Conference on Fundamental Approach on Software Engineering (FASE 2007)  （ Braga Portugal ） 2007年3月 - 2007年4月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 22th IEEE International Conference on Software Maintenance (ICSM 2006)  （ Philadelphia UnitedStatesofAmerica ） 2006年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 21th IEEE International Conference on Software Maintenance (ICSM 2005)  （ Budapest Hungary ） 2005年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The International Conference on Aspect-Oriented Software Development (AOSD 2005)  （ Chicago UnitedStatesofAmerica ） 2005年3月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The International Conference on Aspect-Oriented Software Development (AOSD 2004)  （ Lancaster UnitedKingdom ） 2005年3月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 15th IEEE International Conference on Software Reliability Engineering (ISSRE 2004)  （ Saint-Malo France ） 2004年11月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 20th IEEE International Conference on Software Maintenance (ICSM 2004)  （ Chicago UnitedStatesofAmerica ） 2004年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 19th IEEE International Conference on Software Maintenance (ICSM 2003)  （ Amsterdam Netherlands ） 2003年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The International Conference on Aspect-Oriented Software Development (AOSD 2003)  （ Boston UnitedStatesofAmerica ） 2003年3月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 18th IEEE International Conference on Software Maintenance (ICSM 2002)  （ Canada ） 2002年10月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee Member 国際学術貢献

    The 17th IEEE International Conference on Software Maintenance (ICSM 2001)  （ Florence Italy ） 2001年11月

    　詳細を見る

    種別：大会・シンポジウム等 

▼全件表示

共同研究・競争的資金等の研究課題

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

    研究課題/領域番号：23H03372  2023年 - 2025年

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

    　 詳細を見る

    担当区分：研究代表者  資金種別：科研費

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

    研究課題/領域番号：19H04086  2019年 - 2022年

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

    　 詳細を見る

    担当区分：研究代表者  資金種別：科研費

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

    研究課題/領域番号：18H04097  2018年 - 2021年

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

    　 詳細を見る

    担当区分：研究分担者  資金種別：科研費

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

    研究課題/領域番号：16H07031  2016年 - 2017年

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

    　 詳細を見る

    担当区分：研究代表者  資金種別：科研費

教育活動概要

  • 工学部電気情報工学科，システム情報科学府の学生を指導している。

担当授業科目

  • 機械学習工学特論

    2024年6月 - 2024年8月   夏学期

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

    2024年6月 - 2024年8月   夏学期

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

    2024年6月 - 2024年8月   夏学期

  • 機械学習工学特論

    2024年6月 - 2024年8月   夏学期

  • Machine Learning System Engineering

    2024年6月 - 2024年8月   夏学期

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

    2024年6月 - 2024年8月   夏学期

  • 電気情報工学卒業研究

    2024年4月 - 2025年3月   通年

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

    2024年4月 - 2025年3月   通年

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

    2024年4月 - 2025年3月   通年

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

    2024年4月 - 2025年3月   通年

  • 情報理工学論議Ⅰ

    2024年4月 - 2024年9月   前期

  • 情報理工学読解

    2024年4月 - 2024年9月   前期

  • 情報理工学論述Ⅰ

    2024年4月 - 2024年9月   前期

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

    2024年4月 - 2024年6月   春学期

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

    2024年4月 - 2024年6月   春学期

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

    2024年4月 - 2024年6月   春学期

  • 技術表現法II

    2023年12月 - 2024年2月   冬学期

  • 情報理工学論述Ⅱ

    2023年10月 - 2024年3月   後期

  • 情報理工学論議Ⅱ

    2023年10月 - 2024年3月   後期

  • 技術表現法I

    2023年10月 - 2023年12月   秋学期

  • 機械学習工学特論

    2023年6月 - 2023年8月   夏学期

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

    2023年6月 - 2023年8月   夏学期

  • 国際演示技法

    2023年4月 - 2024年3月   通年

  • Advanced Seminar in Information Science and Technology

    2023年4月 - 2024年3月   通年

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

    2023年4月 - 2024年3月   通年

  • Advanced Research in System Development Methodologies

    2023年4月 - 2024年3月   通年

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

    2023年4月 - 2024年3月   通年

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

    2023年4月 - 2024年3月   通年

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

    2023年4月 - 2024年3月   通年

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

    2023年4月 - 2024年3月   通年

  • Advanced Research in Advanced Information Technology I

    2023年4月 - 2024年3月   通年

  • Advanced Research in Advanced Information Technology II

    2023年4月 - 2024年3月   通年

  • Adv Semi in Intelligent Information Systems Engineering

    2023年4月 - 2024年3月   通年

  • Advanced Seminar in Social Information Systems Engineering

    2023年4月 - 2024年3月   通年

  • 国際演示技法Ⅰ

    2023年4月 - 2024年3月   通年

  • 国際演示技法Ⅱ

    2023年4月 - 2024年3月   通年

  • 知的財産技法Ⅰ

    2023年4月 - 2024年3月   通年

  • 知的財産技法Ⅱ

    2023年4月 - 2024年3月   通年

  • ティーチング演習Ⅰ

    2023年4月 - 2024年3月   通年

  • ティーチング演習Ⅱ

    2023年4月 - 2024年3月   通年

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

    2023年4月 - 2024年3月   通年

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

    2023年4月 - 2024年3月   通年

  • Scientific English Presentation I

    2023年4月 - 2024年3月   通年

  • Scientific English Presentation II

    2023年4月 - 2024年3月   通年

  • Intellectual Property Management I

    2023年4月 - 2024年3月   通年

  • Intellectual Property Management II

    2023年4月 - 2024年3月   通年

  • Exercise in Teaching I

    2023年4月 - 2024年3月   通年

  • Exercise in Teaching II

    2023年4月 - 2024年3月   通年

  • Advanced Project Management I

    2023年4月 - 2024年3月   通年

  • Advanced Project Management II

    2023年4月 - 2024年3月   通年

  • 電気情報工学卒業研究

    2023年4月 - 2024年3月   通年

  • Advanced Project Management Technique

    2023年4月 - 2024年3月   通年

  • Exercise in Teaching

    2023年4月 - 2024年3月   通年

  • Intellectual Property Management

    2023年4月 - 2024年3月   通年

  • Scientific English Presentation

    2023年4月 - 2024年3月   通年

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

    2023年4月 - 2024年3月   通年

  • ティーチング演習

    2023年4月 - 2024年3月   通年

  • 知的財産技法

    2023年4月 - 2024年3月   通年

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

    2023年4月 - 2023年6月   春学期

  • 技術表現法B

    2022年12月 - 2023年2月   冬学期

  • 情報理工学論議Ⅱ

    2022年10月 - 2023年3月   後期

  • 情報理工学論述Ⅱ

    2022年10月 - 2023年3月   後期

  • 技術表現法A

    2022年10月 - 2022年12月   秋学期

  • 機械学習工学特論

    2022年6月 - 2022年8月   夏学期

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

    2022年6月 - 2022年8月   夏学期

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

    2022年6月 - 2022年8月   夏学期

  • Advanced Project Management Technique

    2022年4月 - 2023年3月   通年

  • 電気情報工学卒業研究

    2022年4月 - 2023年3月   通年

  • 国際演示技法

    2022年4月 - 2023年3月   通年

  • 知的財産技法

    2022年4月 - 2023年3月   通年

  • ティーチング演習

    2022年4月 - 2023年3月   通年

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

    2022年4月 - 2023年3月   通年

  • Scientific English Presentation

    2022年4月 - 2023年3月   通年

  • Intellectual Property Management

    2022年4月 - 2023年3月   通年

  • Exercise in Teaching

    2022年4月 - 2023年3月   通年

  • プログラミング言語論

    2022年4月 - 2022年9月   前期

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

    2022年4月 - 2022年6月   春学期

  • 技術表現法B

    2021年12月 - 2022年2月   冬学期

  • 情報知能工学演習第三

    2021年10月 - 2022年3月   後期

  • 情報知能工学講究第三

    2021年10月 - 2022年3月   後期

  • 技術表現法

    2021年10月 - 2022年3月   後期

  • 技術表現法A

    2021年10月 - 2021年12月   秋学期

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

    2021年6月 - 2021年8月   夏学期

  • 機械学習工学特論

    2021年6月 - 2021年8月   夏学期

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

    2021年6月 - 2021年8月   夏学期

  • 国際演示技法

    2021年4月 - 2022年3月   通年

  • 知的財産技法

    2021年4月 - 2022年3月   通年

  • ティーチング演習

    2021年4月 - 2022年3月   通年

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

    2021年4月 - 2022年3月   通年

  • Scientific English Presentation

    2021年4月 - 2022年3月   通年

  • Intellectual Property Management

    2021年4月 - 2022年3月   通年

  • Exercise in Teaching

    2021年4月 - 2022年3月   通年

  • Advanced Project Management Technique

    2021年4月 - 2022年3月   通年

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

    2021年4月 - 2022年3月   通年

  • Advanced Research in System Development Methodologies

    2021年4月 - 2022年3月   通年

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

    2021年4月 - 2022年3月   通年

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

    2021年4月 - 2022年3月   通年

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

    2021年4月 - 2022年3月   通年

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

    2021年4月 - 2022年3月   通年

  • Advanced Research in Advanced Information Technology I

    2021年4月 - 2022年3月   通年

  • Advanced Research in Advanced Information Technology II

    2021年4月 - 2022年3月   通年

  • Adv Semi in Intelligent Information Systems Engineering

    2021年4月 - 2022年3月   通年

  • Advanced Seminar in Social Information Systems Engineering

    2021年4月 - 2022年3月   通年

  • 情報知能工学特別研究

    2021年4月 - 2022年3月   通年

  • 電気情報工学卒業研究

    2021年4月 - 2022年3月   通年

  • プログラミング言語論

    2021年4月 - 2021年9月   前期

  • 情報知能工学演習第三

    2021年4月 - 2021年9月   前期

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

    2021年4月 - 2021年6月   春学期

  • 技術表現法B

    2020年12月 - 2021年2月   冬学期

  • Seminar in Advanced Information Technology I

    2020年10月 - 2021年3月   後期

  • Research of Advanced Information Technology I

    2020年10月 - 2021年3月   後期

  • 情報知能工学演習第三

    2020年10月 - 2021年3月   後期

  • 情報知能工学演習第一

    2020年10月 - 2021年3月   後期

  • 情報知能工学講究第一

    2020年10月 - 2021年3月   後期

  • 情報知能工学講究第三

    2020年10月 - 2021年3月   後期

  • 技術表現法A

    2020年10月 - 2020年12月   秋学期

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

    2020年6月 - 2020年8月   夏学期

  • 機械学習工学特論

    2020年6月 - 2020年8月   夏学期

  • Advanced Research in Advanced Information Technology II

    2020年4月 - 2021年3月   通年

  • Adv Semi in Intelligent Information Systems Engineering

    2020年4月 - 2021年3月   通年

  • Advanced Seminar in Social Information Systems Engineering

    2020年4月 - 2021年3月   通年

  • 情報知能工学特別研究

    2020年4月 - 2021年3月   通年

  • 電気情報工学卒業研究

    2020年4月 - 2021年3月   通年

  • 情報知能工学講究第二

    2020年4月 - 2020年9月   前期

  • 情報知能工学演習第二

    2020年4月 - 2020年9月   前期

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

    2020年4月 - 2020年6月   春学期

  • 情報知能工学演習第三

    2019年10月 - 2020年3月   後期

  • 情報知能工学演習第一

    2019年10月 - 2020年3月   後期

  • 情報知能工学講究第一

    2019年10月 - 2020年3月   後期

  • 情報知能工学講究第三

    2019年10月 - 2020年3月   後期

  • 技術表現法

    2019年10月 - 2020年3月   後期

  • 情報知能工学特別研究

    2019年4月 - 2020年3月   通年

  • 電気情報工学卒業研究

    2019年4月 - 2020年3月   通年

  • Programming Practice I

    2019年4月 - 2019年9月   前期

  • プログラミング言語論

    2019年4月 - 2019年9月   前期

  • 技術表現法

    2018年10月 - 2019年3月   後期

  • 情報知能工学演習第三

    2018年10月 - 2019年3月   後期

  • 情報知能工学演習第一

    2018年10月 - 2019年3月   後期

  • 情報知能工学講究第一

    2018年10月 - 2019年3月   後期

  • 情報知能工学講究第三

    2018年10月 - 2019年3月   後期

  • 電気情報工学卒業研究

    2018年4月 - 2019年3月   通年

  • 情報知能工学特別研究

    2018年4月 - 2019年3月   通年

  • プログラミング言語論

    2018年4月 - 2018年9月   前期

  • 技術表現法

    2017年10月 - 2018年3月   後期

  • 情報知能工学演習第一

    2017年10月 - 2018年3月   後期

  • 情報知能工学講究第一

    2017年10月 - 2018年3月   後期

  • 情報知能工学講究第三

    2017年10月 - 2018年3月   後期

  • 情報知能工学演習第三

    2017年10月 - 2018年3月   後期

  • 電気情報工学卒業研究

    2017年4月 - 2018年3月   通年

  • 情報知能工学特別研究

    2017年4月 - 2018年3月   通年

  • プログラミング言語論

    2017年4月 - 2017年9月   前期

  • プログラミング演習

    2017年4月 - 2017年9月   前期

  • 技術表現法

    2016年10月 - 2017年3月   後期

  • 情報知能工学講究第一

    2016年10月 - 2017年3月   後期

  • 情報知能工学講究第三

    2016年10月 - 2017年3月   後期

  • 情報知能工学演習第一

    2016年10月 - 2017年3月   後期

  • 電気情報工学卒業研究

    2016年4月 - 2017年3月   通年

  • 情報知能工学特別研究

    2016年4月 - 2017年3月   通年

  • プログラミング言語論

    2016年4月 - 2016年9月   前期

  • 情報知能工学演習第二

    2016年4月 - 2016年9月   前期

▼全件表示

FD参加状況

  • 2022年6月   役割：参加   名称：「電子ジャーナル等の今後について 」

    主催組織：部局

  • 2022年5月   役割：参加   名称：若手教員による研究紹介④「量子コンピュータ・システム・アーキテクチャの研究～道具になることを目指して～」

    主催組織：全学

  • 2022年4月   役割：参加   名称：「シス情の第4期中期目標・中期計画等について」

    主催組織：部局

  • 2021年12月   役割：参加   名称：「企業出身教員から見た大学」

    主催組織：部局

  • 2020年4月   役割：参加   名称：「Moodleを利用したe-Learning実例報告（九州大学電気情報において）」

    主催組織：部局

  • 2016年12月   役割：参加   名称：平成２８年度「英語による教授能力」向上のための研修（FD）プログラム

    主催組織：全学

  • 2016年10月   役割：参加   名称：工学研究院・システム情報科学研究院合同ＦＤ「九州大学における男女共同参画の取り組み」

    主催組織：部局

  • 2016年8月   役割：参加   名称：工学・システム情報 合同 ファカルティ・ディベロップメント（ELETE(カリフォルニア英語研修)成果報告）

    主催組織：部局

▼全件表示

他大学・他機関等の客員・兼任・非常勤講師等

  • 2012年  国立情報科学研究所  区分:客員教員  国内外の区分:国内 

    学期、曜日時限または期間：2012.04-2013.03

その他教育活動及び特記事項

  • 2016年  その他特記事項  学部ではプログラミング言語論と技術表現法、大学院ではPBL (Project-Based Learning) を担当している。

    　詳細を見る

    学部ではプログラミング言語論と技術表現法、大学院ではPBL (Project-Based Learning) を担当している。

海外渡航歴

  • 2002年4月 - 2003年3月

    滞在国名1：アメリカ合衆国   滞在機関名1：Laboratory for Computer Science, Massachusetts Institute of Technology

学内運営に関わる各種委員・役職等

  • 2020年4月 - 2022年3月   全学 国際交流専門委員会 委員