Find Research Outputs

Search concepts
Selected filters

Publication Year

  • 2018
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010

Author

  • Jianjun Zhao
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., Sep 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, Inc, p. 120-131 12 p. (ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

45 Citations (Scopus)

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

Hu, Q., Ma, L. & Zhao, J., Jul 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; vol. 2018-December).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (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., Nov 16 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 100-111 12 p. 8539073. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2018-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

26 Citations (Scopus)

The role of model checking in software engineering

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

Research output: Contribution to journalReview article

3 Citations (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., Feb 1 2018, In : Frontiers of Computer Science. 12, 1, p. 86-100 15 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Type conversion sequence recommendation based on semantic web technology

Yu, H., Jia, X., Mine, T. & Zhao, J., Dec 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. (eds.). 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Visualizing interactions in angularJS-based single page web applications

Zhang, G. & Zhao, J., Jan 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; vol. 2018-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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., Jan 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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

58 Citations (Scopus)

Coverage-Directed differential testing of JVM implementations

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

27 Citations (Scopus)

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

Lin, Z., Marinov, D., Zhong, H., Chen, Y. & Zhao, J., Jan 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Citations (Scopus)

LockPeeker: Detecting latent locks in Java APIs

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Mining revision histories to detect cross-language clones without intermediates

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

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

Cheng, X., Jiang, L., Zhong, H., Yu, H. & Zhao, J., Sep 3 2016, SoftwareMining 2016 - Proceedings of the 5th International Workshop on Software Mining, co-located with ASE 2016. Lucia, L., Li, M. & Wang, X. (eds.). 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Retrofitting automatic testing through library tests reusing

Ma, L., Zhang, C., Yu, B. & Zhao, J., Jul 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; vol. 2016-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Rule-directed code clone synchronization

Cheng, X., Zhong, H., Chen, Y., Hu, Z. & Zhao, J., Jul 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; vol. 2016-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)
2015

BIFER: a biphasic trace filter approach to scalable prediction of concurrency errors

Chang, X., Zhang, Z., Zhang, P., Xue, J. & Zhao, J., Oct 20 2015, In : Frontiers of Computer Science. 9, 6, p. 944-955 12 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Biped: Bidirectional prediction of order violations

Chang, X., Zhang, Z., Lei, Y. & Zhao, J., Feb 1 2015, In : IEICE Transactions on Information and Systems. E98D, 2, p. 334-345 12 p.

Research output: Contribution to journalArticle

Program differencing for X10

Chen, Y. T., Yang, W. & Zhao, J., May 1 2015, In : Jisuanji Xuebao/Chinese Journal of Computers. 38, 5, p. 1082-1092 11 p.

Research output: Contribution to journalArticle

Trace-based debugging for advanced-dispatching programming languages

Bockisch, C., Van Riet, M., Yin, H., Aksit, M., Lin, Z., Chen, Y. & Zhao, J., Jul 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
2014

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

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

Research output: Contribution to journalArticle

Automated coverage-driven test data generation using dynamic symbolic execution

Su, T., Pu, G., Fang, B., He, J., Yan, J., Jiang, S. & Zhao, J., Jan 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)
2013

Constraint-based locality analysis for X10 programs

Sun, Q., Chen, Y. & Zhao, J., Feb 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Extracting URLs from JavaScript via program analysis

Wang, Q., Zhou, J., Chen, Y., Zhang, Y. & Zhao, J., Sep 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (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., Jan 1 2012, In : Science China Information Sciences. 55, 12, p. 2800-2815 16 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)

Automatic parameter recommendation for practical API usage

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

55 Citations (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., Nov 20 2012, Proceedings - 12th International Conference on Quality Software, QSIC 2012. p. 1-8 8 p. 6319218. (Proceedings - International Conference on Quality Software).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

MoonBox: Debugging with online slicing and dryrun

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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

Lu, L., Zhang, C. & Zhao, J., Jul 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.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
2011

AutoLog: Facing log redundancy and insufficiency

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Citations (Scopus)

Frequency estimation of virtual call targets for object-oriented programs

Zhang, C., Xu, H., Zhang, S., Zhao, J. & Chen, Y., Aug 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); vol. 6813 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Probabilistic points-to analysis for Java

Sun, Q., Zhao, J. & Chen, Y., Apr 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); vol. 6601 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)
2010

A lightweight and portable approach to making concurrent failures reproducible

Luo, Q., Zhang, S., Zhao, J. & Hu, M., Apr 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); vol. 6013 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

BPGen: An automated breakpoint generator for debugging

Zhang, C., Yan, D., Zhao, J., Chen, Y. & Yang, S., Jul 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; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Citations (Scopus)