研究成果の検索

検索コンセプト
選択されたフィルター

出版年

  • 2019
  • 2018
  • 2017
  • 2016
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010

著者

  • Jianjun Zhao
2019

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

Guo, Q., Chen, S., Xie, X., Ma, L., Hu, Q., Liu, H., Liu, Y., Zhao, J. & Li, X., 11 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 810-822 13 p. 8952401. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

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

API recommendation for event-driven Android application development

Yuan, W., Nguyen, H. H., Jiang, L., Chen, Y., Zhao, J. & Yu, H., 3 2019, : : Information and Software Technology. 107, p. 30-47 18 p.

研究成果: ジャーナルへの寄稿記事

1 引用 (Scopus)

A quantitative analysis framework for recurrent neural network

Du, X., Xie, X., Li, Y., Ma, L., Liu, Y. & Zhao, J., 11 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1062-1065 4 p. 8952565. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

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

Coverage-guided fuzzing for feedforward neural networks

Xie, X., Chen, H., Li, Y., Ma, L., Liu, Y. & Zhao, J., 11 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1162-1165 4 p. 8952279. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

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

DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems

Ma, L., Juefei-Xu, F., Xue, M., Li, B., Li, L., Liu, Y. & Zhao, J., 3 15 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (版). Institute of Electrical and Electronics Engineers Inc., p. 614-618 5 p. 8668044. (SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering).

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

10 引用 (Scopus)

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

Xie, X., Ma, L., Juefei-Xu, F., Xue, M., Chen, H., Liu, Y., Zhao, J., Li, B., Yin, J. & See, S., 7 10 2019, ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (版). Association for Computing Machinery, Inc, p. 158-168 11 p. (ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis).

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

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

Hu, Q., Ma, L., Xie, X., Yu, B., Liu, Y. & Zhao, J., 11 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1158-1161 4 p. 8952248. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

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

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

Du, X., Xie, X., Li, Y., Ma, L., Liu, Y. & Zhao, J., 8 12 2019, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (版). Association for Computing Machinery, Inc, p. 477-487 11 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

12 引用 (Scopus)

DeepVisual: A visual programming tool for deep learning systems

Xie, C., Qi, H., Ma, L. & Zhao, J., 5 2019, Proceedings - 2019 IEEE/ACM 27th International Conference on Program Comprehension, ICPC 2019. IEEE Computer Society, p. 130-134 5 p. 8813295. (IEEE International Conference on Program Comprehension; 巻数 2019-May).

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

Message from the MLST 2019 chairs

Khurshid, S., Li, B., Liu, Y., Ma, L. & Zhao, J., 4 2019, : : Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. p. XXIX 8728943.

研究成果: ジャーナルへの寄稿編集

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

Liu, Y., Ma, L. & Zhao, J., 1 1 2019, Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Proceedings. Ait-Ameur, Y. & Qin, S. (版). Springer, p. 3-15 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11852 LNCS).

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

2018

DeepGauge: Multi-granularity testing criteria for deep learning systems

Ma, L., Juefei-Xu, F., Zhang, F., Sun, J., Xue, M., Li, B., Chen, C., Su, T., Li, L., Liu, Y., Zhao, J. & Wang, Y., 9 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (版). Association for Computing Machinery, Inc, p. 120-131 12 p. (ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering).

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

45 引用 (Scopus)

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

Hu, Q., Ma, L. & Zhao, J., 7 2 2018, Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018. IEEE Computer Society, p. 628-632 5 p. 8719435. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; 巻数 2018-December).

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

1 引用 (Scopus)

DeepMutation: Mutation Testing of Deep Learning Systems

Ma, L., Zhang, F., Sun, J., Xue, M., Li, B., Juefei-Xu, F., Xie, C., Li, L., Liu, Y., Zhao, J. & Wang, Y., 11 16 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (版). IEEE Computer Society, p. 100-111 12 p. 8539073. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; 巻数 2018-October).

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

26 引用 (Scopus)

The role of model checking in software engineering

Karna, A. K., Chen, Y., Yu, H., Zhong, H. & Zhao, J., 8 1 2018, : : Frontiers of Computer Science. 12, 4, p. 642-668 27 p.

研究成果: ジャーナルへの寄稿評論記事

5 引用 (Scopus)

Tuning parallel symbolic execution engine for better performance

Karna, A. K., Du, J., Shen, H., Zhong, H., Gong, J., Yu, H., Ma, X. & Zhao, J., 2 1 2018, : : Frontiers of Computer Science. 12, 1, p. 86-100 15 p.

研究成果: ジャーナルへの寄稿記事

1 引用 (Scopus)

Type conversion sequence recommendation based on semantic web technology

Yu, H., Jia, X., Mine, T. & Zhao, J., 12 4 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. Loulergue, F., Wang, G., Bhuiyan, M. Z. A., Ma, X., Li, P., Roveri, M., Han, Q. & Chen, L. (版). Institute of Electrical and Electronics Engineers Inc., p. 240-245 6 p. 8560054. (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).

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

Visualizing interactions in angularJS-based single page web applications

Zhang, G. & Zhao, J., 1 1 2018, Proceedings - SEKE 2018: 30th International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, p. 403-408 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; 巻数 2018-July).

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

2017

CLCMiner: Detecting Cross-Language Clones without Intermediates

Cheng, X., Peng, Z., Jiang, L., Zhong, H., Yu, H. & Zhao, J., 2 2017, : : IEICE Transactions on Information and Systems. E100D, 2, p. 273-284 12 p.

研究成果: ジャーナルへの寄稿記事

3 引用 (Scopus)

SPDebugger: A fine-grained deterministic debugger for concurrency code

Lin, Z., Zhou, Y., Zhong, H., Chen, Y., Yu, H. & Zhao, J., 3 2017, : : IEICE Transactions on Information and Systems. E100D, 3, p. 473-482 10 p.

研究成果: ジャーナルへの寄稿記事

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)

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

Lin, Z., Marinov, D., Zhong, H., Chen, Y. & 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. 178-189 12 p. 7372007. (Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015).

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

15 引用 (Scopus)

LockPeeker: Detecting latent locks in Java APIs

Lin, Z., Zhong, H., Chen, Y. & Zhao, J., 8 25 2016, ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Khurshid, S., Lo, D. & Apel, S. (版). Association for Computing Machinery, Inc, p. 368-378 11 p. (ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering).

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

5 引用 (Scopus)

Mining revision histories to detect cross-language clones without intermediates

Cheng, X., Peng, Z., Jiang, L., Zhong, H., Yu, H. & Zhao, J., 8 25 2016, ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Khurshid, S., Lo, D. & Apel, S. (版). Association for Computing Machinery, Inc, p. 696-701 6 p. (ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering).

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

7 引用 (Scopus)

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

Cheng, X., Jiang, L., Zhong, H., Yu, H. & Zhao, J., 9 3 2016, SoftwareMining 2016 - Proceedings of the 5th International Workshop on Software Mining, co-located with ASE 2016. Lucia, L., Li, M. & Wang, X. (版). Association for Computing Machinery, Inc, p. 39-42 4 p. (SoftwareMining 2016 - Proceedings of the 5th International Workshop on Software Mining, co-located with ASE 2016).

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

4 引用 (Scopus)

Retrofitting automatic testing through library tests reusing

Ma, L., Zhang, C., Yu, B. & Zhao, J., 7 5 2016, Proceedings of the 24th IEEE International Conference on Program Comprehension, ICPC 2016 - co-located with ICSE 2016. IEEE Computer Society, 7503725. (IEEE International Conference on Program Comprehension; 巻数 2016-July).

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

1 引用 (Scopus)

Rule-directed code clone synchronization

Cheng, X., Zhong, H., Chen, Y., Hu, Z. & Zhao, J., 7 5 2016, Proceedings of the 24th IEEE International Conference on Program Comprehension, ICPC 2016 - co-located with ICSE 2016. IEEE Computer Society, 7503722. (IEEE International Conference on Program Comprehension; 巻数 2016-July).

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

5 引用 (Scopus)
2014

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

Sun, Q., Chen, Y. & Zhao, J., 2 1 2014, : : Frontiers of Computer Science. 8, 1, p. 52-68 17 p.

研究成果: ジャーナルへの寄稿記事

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

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

Zhou, Y. M., Leung, H., Song, Q. B., Zhao, J. J., Lu, H. M., Chen, L. & Xu, B. W., 1 1 2012, : : Science China Information Sciences. 55, 12, p. 2800-2815 16 p.

研究成果: ジャーナルへの寄稿記事

15 引用 (Scopus)

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