• 1230 引用
  • 20 h指数
1996 …2991

Research output per year

Pureに変更を加えた場合、すぐここに表示されます。

研究成果

フィルター
会議での発言
1996

Program dependence analysis of concurrent logic programs and its applications

Zhao, J., Cheng, J. & Ushijima, K., 1996, Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. IEEE, p. 282-291 10 p.

研究成果: 著書/レポートタイプへの貢献会議での発言

7 引用 (Scopus)
1998

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

Zhao, J., Cheng, J. & Ushijima, K., 1 1 1998, Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering, CSMR 1998. Lehner, F. & Nesi, P. (版). Institute of Electrical and Electronics Engineers Inc., p. 60-66 7 p. (Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering, CSMR 1998; 巻数 1998-March).

研究成果: 著書/レポートタイプへの貢献会議での発言

9 引用 (Scopus)

A metrics suite for concurrent logic programs

Zhao, J., Cheng, J. & Ushijima, K., 1 1 1998, Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering, CSMR 1998. Lehner, F. & Nesi, P. (版). Institute of Electrical and Electronics Engineers Inc., p. 172-178 7 p. (Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering, CSMR 1998; 巻数 1998-March).

研究成果: 著書/レポートタイプへの貢献会議での発言

3 引用 (Scopus)

Applying slicing technique to software architectures

Zhao, J., 1 1 1998, Proceedings - 4th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 1998. Institute of Electrical and Electronics Engineers Inc., p. 87-98 12 p. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

25 引用 (Scopus)
1999

Multithreaded dependence graphs for concurrent Java programs

Zhao, J., 1 1 1999, Proceedings - International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999. El-Rewini, H. & Croll, P. (版). Institute of Electrical and Electronics Engineers Inc., p. 13-23 11 p. 779735. (Proceedings - International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999).

研究成果: 著書/レポートタイプへの貢献会議での発言

3 引用 (Scopus)

Slicing concurrent Java programs

Zhao, J., 1 1 1999, Proceedings - 7th International Workshop on Program Comprehension, IWPC 1999. Institute of Electrical and Electronics Engineers Inc., p. 126-133 8 p. 777751. (Proceedings - 7th International Workshop on Program Comprehension, IWPC 1999).

研究成果: 著書/レポートタイプへの貢献会議での発言

48 引用 (Scopus)
2001

Architectural-level metrics for software systems

Zhao, J., 12 1 2001, Proceedings of the Sixth International Conference for You Computer Scientist: in Computer Science and Technology in New Century. Wu, Z., Zhuang, Y., He, Q., Zhang, S., Wei, B., Wu, Z., Zhuang, Y., He, Q., Zhang, S. & Wei, B. (版). p. 29-33 5 p. (Proceedings of the Sixth International Conference for You Computer Scientist: in Computer Science and Technology in New Century).

研究成果: 著書/レポートタイプへの貢献会議での発言

3 引用 (Scopus)

Computing executable slices for concurrent logic programs

Zhao, J., Cheng, J. & Ushijima, K., 1 1 2001, Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001. Institute of Electrical and Electronics Engineers Inc., p. 13-22 10 p. 989997. (Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001).

研究成果: 著書/レポートタイプへの貢献会議での発言

4 引用 (Scopus)
2002

Slicing aspect-oriented software

Zhao, J., 1 1 2002, Proceedings - 10th International Workshop on Program Comprehension, IWPC 2002. IEEE Computer Society, p. 251-260 10 p. 1021346. (Proceedings - IEEE Workshop on Program Comprehension; 巻数 2002-January).

研究成果: 著書/レポートタイプへの貢献会議での発言

52 引用 (Scopus)

Static dependency analysis for concurrent ada 95 programs

Chen, Z., Xu, B., Zhao, J. & Yang, H., 1 1 2002, Reliable Software Technologies - Ada-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Springer Verlag, 巻 2361. p. 219-230 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 2361).

研究成果: 著書/レポートタイプへの貢献会議での発言

6 引用 (Scopus)
2003

A toolkit for Java bytecode analysis

Zhao, J., Lu, C. & Xu, B., 12 1 2003, Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications. Hamza, M. H. (版). p. 482-487 6 p. (Proceedings of the IASTED International Conference on Software Engineering and Applications; 巻数 7).

研究成果: 著書/レポートタイプへの貢献会議での発言

2004

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

Lu, C., Cho, G. & Zhao, J., 2004, Proceedings of the Seventh IASTED International Conference on Computer Graphics and Imaging. Hamza, M. H. (版). p. 254-259 6 p.

研究成果: 著書/レポートタイプへの貢献会議での発言

3 引用 (Scopus)
2006

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

Baniassad, E., Chen, K., Chiba, S., Hannemann, J., Masuhara, H., Ren, S. & Zhao, J., 12 1 2006, Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006. 1 p. 4019614

研究成果: 著書/レポートタイプへの貢献会議での発言

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

Xie, T. & Zhao, J., 12 1 2006, Proceedings of the 5th International Conference on Aspect-oriented Software Development 2006, AOSD'06. p. 190-201 12 p. (Proceedings of the 5th International Conference on Aspect-oriented Software Development 2006, AOSD'06; 巻数 2006).

研究成果: 著書/レポートタイプへの貢献会議での発言

53 引用 (Scopus)

Control-flow analysis and representation for aspect-oriented programs

Zhao, J., 12 1 2006, Proceedings - Sixth International Conference on Quality Software, QSIC 2006. p. 38-45 8 p. 4032267. (Proceedings - International Conference on Quality Software).

研究成果: 著書/レポートタイプへの貢献会議での発言

8 引用 (Scopus)

Detecting redundant unit tests for AspectJ programs

Xie, T., Zhao, J., Marinov, D. & Notkin, D., 12 1 2006, Proceedings - 17th International Symposium on Software Reliability Engineering, ISSRE 2006. p. 179-188 10 p. 4021983. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

研究成果: 著書/レポートタイプへの貢献会議での発言

19 引用 (Scopus)

Towards regression test selection for AspectJ programs

Zhao, J., Xie, T. & Li, N., 12 1 2006, Proceedings of the 2nd Workshop on Testing Aspect-oriented Programs, WTAOP '06. p. 21-26 6 p. (Proceedings of the 2nd Workshop on Testing Aspect-oriented Programs, WTAOP '06; 巻数 2006).

研究成果: 著書/レポートタイプへの貢献会議での発言

18 引用 (Scopus)
2007

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

Garcia, A., Baniassad, E., Lopes, C. V., Schwanninger, C. & Zhao, J., 1 1 2007, Proceedings - 29th International Conference on Software Engineering, ICSE 2007; Companion Volume. IEEE Computer Society, p. 144-145 2 p. 4222717. (Proceedings - International Conference on Software Engineering).

研究成果: 著書/レポートタイプへの貢献会議での発言

On identifying bug patterns in aspect-oriented programs

Zhang, S. & Zhao, J., 12 31 2007, Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007. p. 431-438 8 p. 4291035. (Proceedings - International Computer Software and Applications Conference; 巻数 1).

研究成果: 著書/レポートタイプへの貢献会議での発言

19 引用 (Scopus)

Perspectives on automated testing of aspect-oriented programs

Xie, T. & Zhao, J., 2007, Proceedings of the Third Workshop on Testing Aspect-Oriented Programs, WTAOP'07, held at the Sixth International Conference on Aspect-Oriented Software Development. 巻 210. p. 7-12 6 p.

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)

Specifying pointcuts in AspectJ

Wang, Y. & Zhao, J., 12 31 2007, Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007. p. 5-10 6 p. 4291095. (Proceedings - International Computer Software and Applications Conference; 巻数 2).

研究成果: 著書/レポートタイプへの貢献会議での発言

7 引用 (Scopus)
2008

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

Shen, H., Zhang, S. & Zhao, J., 9 19 2008, Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008. p. 233-236 4 p. 4549910. (Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008).

研究成果: 著書/レポートタイプへの貢献会議での発言

18 引用 (Scopus)

Aspect-aware points-to analysis

Sun, Q. & Zhao, J., 11 24 2008, Proceedings - 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008. p. 143-152 10 p. 4637547. (Proceedings - 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008).

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)

AutoFlow: An automatic debugging tool for AspectJ software

Zhang, S., Gu, Z., Lin, Y. & Zhao, J., 12 29 2008, Proceedings of the 24th IEEE International Conference on Software Maintenance, ICSM 2008. p. 470-471 2 p. 4658109. (IEEE International Conference on Software Maintenance, ICSM).

研究成果: 著書/レポートタイプへの貢献会議での発言

3 引用 (Scopus)

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

Zhang, S., Gu, Z., Lin, Y. & Zhao, J., 12 15 2008, ICSE'08: Proceedings of the 30th International Conference on Software Engineering 2008. p. 913-914 2 p. (Proceedings - International Conference on Software Engineering).

研究成果: 著書/レポートタイプへの貢献会議での発言

12 引用 (Scopus)

Change impact analysis for AspectJ programs

Zhang, S., Gu, Z., Lin, Y. & Zhao, J., 12 29 2008, Proceedings of the 24th IEEE International Conference on Software Maintenance, ICSM 2008. p. 87-96 10 p. 4658057. (IEEE International Conference on Software Maintenance, ICSM).

研究成果: 著書/レポートタイプへの貢献会議での発言

34 引用 (Scopus)

Effective identification of failure-inducing changes: A hybrid approach

Zhang, S., Lin, Y., Gu, Z. & Zhao, J., 12 1 2008, Proceedings of the 2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08. p. 77-83 7 p. (ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering).

研究成果: 著書/レポートタイプへの貢献会議での発言

14 引用 (Scopus)

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

Zhang, S., Gu, Z., Lin, Y. & Zhao, J., 12 1 2008, Proceedings of the 4th Linking Aspect Technology and Evolution Workshop, LATE'08 - held at the 7th International Conference on Aspect-Oriented Software Development. 6. (Proceedings of the 4th Linking Aspect Technology and Evolution Workshop, LATE'08 - held at the 7th International Conference on Aspect-Oriented Software Development).

研究成果: 著書/レポートタイプへの貢献会議での発言

Maintenance support for aspect-oriented programs: Opportinuties and challenges

Zhao, J., 12 29 2008, Proceedings of the 24th IEEE International Conference on Software Maintenance, ICSM 2008. p. 482-483 2 p. 4658115. (IEEE International Conference on Software Maintenance, ICSM).

研究成果: 著書/レポートタイプへの貢献会議での発言

Test case prioritization based on analysis of program structure

Ma, Z. & Zhao, J., 12 1 2008, Proceedings - 15th Asia-Pacific Software Engineering Conference, APSEC 2008. p. 471-478 8 p. 4724580. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

研究成果: 著書/レポートタイプへの貢献会議での発言

15 引用 (Scopus)

XFindBugs: eXtended FindBugs for AspectJ

Shen, H., Zhang, S., Zhao, J., Fang, J. & Yao, S., 12 1 2008, Proceedings of the 2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08. p. 70-76 7 p.

研究成果: 著書/レポートタイプへの貢献会議での発言

10 引用 (Scopus)
2009

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

Lin, Y., Tang, X., Chen, Y. & Zhao, J., 12 1 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 221-232 12 p. 5431768. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

研究成果: 著書/レポートタイプへの貢献会議での発言

31 引用 (Scopus)

Identifying semantic differences in AspectJ programs

Görg, M. T. & Zhao, J., 7 19 2009, Proceedings of the 18th International Symposium on Software Testing and Analysis, ISSTA 2009. Association for Computing Machinery, Inc, p. 25-35 11 p. (Proceedings of the 18th International Symposium on Software Testing and Analysis, ISSTA 2009).

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)

Incremental call graph reanalysis for AspectJ software

Lin, Y., Zhang, S. & Zhao, J., 12 4 2009, 2009 IEEE International Conference on Software Maintenance, ICSM 2009 - Proceedings of the Conference. p. 306-315 10 p. 5306311. (IEEE International Conference on Software Maintenance, ICSM).

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)
2010

A lightweight and portable approach to making concurrent failures reproducible

Luo, Q., Zhang, S., Zhao, J. & Hu, M., 4 29 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. p. 323-337 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 6013 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

8 引用 (Scopus)

BPGen: An automated breakpoint generator for debugging

Zhang, C., Yan, D., Zhao, J., Chen, Y. & Yang, S., 7 23 2010, ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. p. 271-274 4 p. (Proceedings - International Conference on Software Engineering; 巻数 2).

研究成果: 著書/レポートタイプへの貢献会議での発言

17 引用 (Scopus)
2011

AutoLog: Facing log redundancy and insufficiency

Zhang, C., Guo, Z., Wu, M., Lu, L., Fan, Y., Zhao, J. & Zhang, Z., 12 1 2011, Proceedings of the 2nd Asia-Pacific Workshop on Systems, APSys'11. (Proceedings of the 2nd Asia-Pacific Workshop on Systems, APSys'11).

研究成果: 著書/レポートタイプへの貢献会議での発言

3 引用 (Scopus)

EFindBugs: Effective error ranking for FindBugs

Shen, H., Fang, J. & Zhao, J., 2011, Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011. p. 299-308 10 p. 5770619

研究成果: 著書/レポートタイプへの貢献会議での発言

25 引用 (Scopus)

Frequency estimation of virtual call targets for object-oriented programs

Zhang, C., Xu, H., Zhang, S., Zhao, J. & Chen, Y., 8 10 2011, ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Proceedings. p. 510-532 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 6813 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)

Probabilistic points-to analysis for Java

Sun, Q., Zhao, J. & Chen, Y., 4 6 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. p. 62-81 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 6601 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

7 引用 (Scopus)
2012

Automatic parameter recommendation for practical API usage

Zhang, C., Yang, J., Zhang, Y., Fan, J., Zhang, X., Zhao, J. & Ou, P., 7 30 2012, Proceedings - 34th International Conference on Software Engineering, ICSE 2012. p. 826-836 11 p. 6227136. (Proceedings - International Conference on Software Engineering).

研究成果: 著書/レポートタイプへの貢献会議での発言

56 引用 (Scopus)

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

Tu, J., Chen, L., Zhou, Y., Zhao, J. & Xu, B., 11 20 2012, Proceedings - 12th International Conference on Quality Software, QSIC 2012. p. 1-8 8 p. 6319218. (Proceedings - International Conference on Quality Software).

研究成果: 著書/レポートタイプへの貢献会議での発言

6 引用 (Scopus)

MoonBox: Debugging with online slicing and dryrun

Zhang, C., Lu, L., Zhou, H., Zhao, J. & Zhang, Z., 10 8 2012, Proceedings of the Asia-Pacific Workshop on Systems, APSYS'12. (Proceedings of the Asia-Pacific Workshop on Systems, APSYS'12).

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)

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

Lu, L., Zhang, C. & Zhao, J., 7 9 2012, Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012. p. 21-26 6 p.

研究成果: 著書/レポートタイプへの貢献会議での発言

1 引用 (Scopus)
2013

Constraint-based locality analysis for X10 programs

Sun, Q., Chen, Y. & Zhao, J., 2 12 2013, PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013. p. 137-146 10 p. (PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013).

研究成果: 著書/レポートタイプへの貢献会議での発言

1 引用 (Scopus)

Extracting URLs from JavaScript via program analysis

Wang, Q., Zhou, J., Chen, Y., Zhang, Y. & Zhao, J., 9 16 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. p. 627-630 4 p. (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).

研究成果: 著書/レポートタイプへの貢献会議での発言

5 引用 (Scopus)
2014

Automated coverage-driven test data generation using dynamic symbolic execution

Su, T., Pu, G., Fang, B., He, J., Yan, J., Jiang, S. & Zhao, J., 1 1 2014, Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014. Institute of Electrical and Electronics Engineers Inc., p. 98-107 10 p. 6895420. (Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014).

研究成果: 著書/レポートタイプへの貢献会議での発言

11 引用 (Scopus)
2015

Trace-based debugging for advanced-dispatching programming languages

Bockisch, C., Van Riet, M., Yin, H., Aksit, M., Lin, Z., Chen, Y. & Zhao, J., 7 4 2015, Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015. Association for Computing Machinery, Inc, 3. (Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015).

研究成果: 著書/レポートタイプへの貢献会議での発言

1 引用 (Scopus)
2016

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

Lv, F., Zhang, H., Lou, J. G., Wang, S., Zhang, D. & Zhao, J., 1 4 2016, Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 260-270 11 p. 7372014

研究成果: 著書/レポートタイプへの貢献会議での発言

63 引用 (Scopus)

Coverage-Directed differential testing of JVM implementations

Chen, Y., Su, T., Sun, C., Su, Z. & Zhao, J., 6 2 2016, PLDI 2016 - Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. Krintz, C. & Berger, E. (版). Association for Computing Machinery, p. 85-99 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); 巻数 13-17-June-2016).

研究成果: 著書/レポートタイプへの貢献会議での発言

28 引用 (Scopus)