研究成果の検索

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

出版年

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

著者

  • Jianjun Zhao
会議での発言

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)

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

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

4 引用 (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).

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

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)

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)

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)

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)

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

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

64 引用 (Scopus)

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)

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

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

29 引用 (Scopus)

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)

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

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

2 引用 (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).

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

12 引用 (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)

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

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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

6 引用 (Scopus)

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

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

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)

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

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

記事

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.

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

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)

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)

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.

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

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)
評論記事

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

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.

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