Kyushu University Academic Staff Educational and Research Activities Database
Researcher information (To researchers) Need Help? How to update
Jianjun Zhao Last modified date:2017.06.28



Graduate School
Undergraduate School


E-Mail
Homepage
http://stap.ait.kyushu-u.ac.jp/~zhao/
Academic Degree
PhD (Computer Science)
Field of Specialization
Software Engineering, Programming Lauguages
Research
Research Interests
  • Software Engineering
    keyword : Program Analysis, Software Testing, Programming Development Environment, Automatic Programming
    2016.04.
Academic Activities
Books
1. Jianjun Zhao, Limin Xiang, "Architectural Slicing to Support System Evolution" in In Khaled M. Khan and Yan Zhang (Eds.) "Managing Corporate Information Systems Evolution and Maintenance,", Idea Group Publishing, Chapter 8, pp.197-210, 2005.01.
Papers
1. Anil Karna, Yuting Chen, Haibo Yu, Hao Zhong, Jianjun Zhao, The Role of Model Checking in Software Engineering, Frontiers of Computer Science, 2017.05.
2. Anil Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao, Tuning Parallel Symbolic Execution Engine for Better Performance, Frontiers of Computer Science, 2017.04.
3. Ziyi Lin, Yilei Zhou, Hao Zhong, Yuting Chen, Haibo Yu, Jianjun Zhao, SPDebugger: A Fine-grained Deterministic Debugger for Concurrency Code, The IEICE Transactions on Information and Systems, Vol. E100-D, No. 3, 2017.03.
4. Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao, CLCMiner: Detecting Cross-Language Clones without Intermediates, The IEICE Transactions on Information and Systems, Vol. E100-D, No. 2, 2017.02.
5. Ziyi Lin, Hao Zhong, Yuting Chen, Jianjun Zhao, LockPeeker: Detecting Latent Locks in Java APIs, The 31th IEEE/ACM Conference on Automated Software Engineering (ASE 2016), 2016.09.
6. Xiao Cheng, Zhiming Peng, Linxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao, Detecting Cross-Language Clones Without Intermediates, The 31th IEEE/ACM Conference on Automated Software Engineering (ASE 2016) (Short Paper), 2016.09.
7. Xiao Cheng, Linxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao, On the Feasibility of Detecting Cross-Platform Code Clones via Identifier Similarity, The Fifth International Workshop on Software Mining (SoftwareMining 2016, co-located with ASE 2016) , 2016.09.
8. Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao, Coverage-Directed Differential Testing of JVM Implementations, The ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2016), 2016.06.
9. Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao, Rule-Directed Code Clone Synchronization, The 24th International Conference on Program Comprehension (ICPC 2016), 2016.05.
10. Lei Ma, Bing Yu, Cheng Zhang, Jianjun Zhao, Retrofitting Automatic Testing through Library Tests Reusing, The 24th International Conference on Program Comprehension (ICPC 2016), (Short paper), 2016.05.
11. Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao, Supporting Selective Undo for Refactoring, The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), 2016.03.
12. Jiabin Ye, Cheng Zhang, Lei Ma, Haibo Yu, Jianjun Zhao, Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs, The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (Best Paper Candidate Award), 2016.03.
13. Ziyi Lin, Darko Maninov, Hao Zhong, Yuting Chen, Jianjun Zhao, JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs, The 30th IEEE/ACM Conference on Automated Software Engineering (ASE 2015), 2015.11.
14. Fei Lv, Hongyu Zhang, Jianguang Lou, Shaowei Wang, Dongmei Zhang, Jianjun Zhao, CodeHow: Effective Code Search Based on API Understanding and Extended Boolean, The 30th IEEE/ACM Conference on Automated Software Engineering (ASE 2015), 2015.11.
15. Christoph Bockisch, Marnix van ’t Riet, Haihan Yin, Mehmet Aksit, Ziyi Lin, Yuting Chen, Jianjun Zhao, Trace-based Debugging for Advanced-Dispatching Programming Languages, The 10th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop (ICOOOLPS 2015), co-located with ECOOP 2015, 2015.07.
16. Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao, Extracting URLs from JavaScript via program analysis, The 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), New Ideas Track, 2013.08.
17. Qiang Sun, Yuting Chen, Jianjun Zhao, Constraint-Based Locality Analysis for X10 Programs, The ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013), 2013.01.
18. Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou, Automatic Parameter Recommendation for Practical API Usage, The 34th International Conference on Software Engineering (ICSE 2012), 2012.06.
19. Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuting Chen, Frequency Estimation of Virtual Call Targets for Object-Oriented Programs, Proc. 25th European Conference on Object-Oriented Programming (ECOOP 2011), 2011.07.
20. Qiang Sun, Jianjun Zhao, Yuting Chen, Probabilistic Points-to Analysis for Java, The 2011 International Conference on Compiler Construction (CC 2011), 2011.03.
21. Cheng Zhang, Dacong Yan, Shengqian Yang, Jianjun Zhao, Yuting Chen, BPGen: An Automated Breakpoint Generator for Debugging, 32th International Conference on Software Engineering (ICSE 2010), Formal Demonstration Track, Vol.2, 2010.05.
22. Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu, A Lightweight and Portable Approach to Making Concurrent Failures Reproducible, The Fundamental Approaches to Software Engineering (FASE 2010), 2010.03.
23. Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao, A Divergence-Orietned Approach to Adaptive Random Testing of Java Programs, The 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 2009.11.
24. Martin Gorg, Jianjun Zhao, Identifying Semantic Differences in AspectJ Programs, The ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA 2009), 2009.07.
25. Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao, Effective Identification of Failure-Inducing Changes: A Hybrid Approach, The 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), 2008.11.
26. Haibo Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Rao, XFindBugs: eXtended FindBugs for AspectJ, The 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), 2008.11.
27. Tao Xie, Jianjun Zhao, A Framework and Tool Supports for Generating Test Inputs of AspectJ Programs, The 5th International Conference on Aspect-Oriented Software Development (AOSD 2006), 2006.03.
28. Jianjun Zhao, Hongji Yang, Limin Xiang, Baowen Xu, Change Impact Analysis to Support Architectural Evolution, Journal of Software Maintenance and Evolution: Research and Practice, Vol.14, No.5, 2002.01.
Works, Software and Database
1. .
Membership in Academic Society
  • The Institute of Electronics, Information and Communications (IEICE)
  • China Computer Federation (CCF)
  • ACM (SIGSOFT)
  • IEEE Computer Society
Educational
Other Educational Activities
  • 2016.08, I give the following lectures:
    1. Concepts of Programming Languages (for undergraduate students)
    2. Technical Writing and Presentation (for undergraduate students).