Find Research Outputs

Search concepts
Selected filters

Publication Year

  • 2019
  • 2017
  • 2016
  • 2015
  • 2014
  • 2012
  • 2011
  • 2010

Author

  • Jianjun Zhao
Article

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

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)

API recommendation for event-driven Android application development

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

Research output: Contribution to journalArticle

1 Citation (Scopus)

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

CLCMiner: Detecting Cross-Language Clones without Intermediates

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

Research output: Contribution to journalArticle

3 Citations (Scopus)

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

SPDebugger: A fine-grained deterministic debugger for concurrency code

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

Research output: Contribution to journalArticle

Conference contribution

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)

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

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

A quantitative analysis framework for recurrent neural network

Du, X., Xie, X., Li, Y., Ma, L., Liu, Y. & Zhao, J., Nov 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).

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

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)

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)

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

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

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

63 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

28 Citations (Scopus)

Coverage-guided fuzzing for feedforward neural networks

Xie, X., Chen, H., Li, Y., Ma, L., Liu, Y. & Zhao, J., Nov 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).

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

DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems

Ma, L., Juefei-Xu, F., Xue, M., Li, B., Li, L., Liu, Y. & Zhao, J., Mar 15 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). 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).

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

10 Citations (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., Jul 10 2019, ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). 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).

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

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

Hu, Q., Ma, L., Xie, X., Yu, B., Liu, Y. & Zhao, J., Nov 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).

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

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

Du, X., Xie, X., Li, Y., Ma, L., Liu, Y. & Zhao, J., Aug 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. (eds.). 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).

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

12 Citations (Scopus)

DeepVisual: A visual programming tool for deep learning systems

Xie, C., Qi, H., Ma, L. & Zhao, J., May 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; vol. 2019-May).

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

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)

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)

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)

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)

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)

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)

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)

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)

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

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

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

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)

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

Message from the MLST 2019 chairs

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

Research output: Contribution to journalEditorial