Find Research Outputs

Search concepts
Selected filters
2019
1 Citation (Scopus)

API recommendation for event-driven Android application development

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

Research output: Contribution to journalArticle

Application programming interfaces (API)
Recommender systems
Software engineering
7 Citations (Scopus)

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

Learning systems
Testing
Deep learning
7 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

Seed
Testing
Defects
Deep neural networks
Accidents
5 Citations (Scopus)

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

Recurrent neural networks
Learning systems
Chemical analysis
Image classification
Speech recognition

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

Computer programming
Learning systems
Neural networks
Network architecture
Drag

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

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

Quality Assurance
Intelligent systems
Learning Systems
Intelligent Systems
Quality assurance
2018
31 Citations (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., 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

Learning systems
Testing
Deep learning
Testbeds
Neurons
1 Citation (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

Visualization
Learning systems
Network architecture
Software engineering
Neural networks
19 Citations (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

Learning systems
Testing
Deep learning
Software testing
3 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

Model checking
Software Engineering
Model Checking
Software engineering
Software Development
1 Citation (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

Symbolic Execution
Tuning
Engine
Engines
Benchmark

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

Semantic Web
Explosions
Experiments
Web technology
Semantic web

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

Websites
HTML
Flow control
2017
2 Citations (Scopus)

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

Computer programming languages

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

2016
54 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

Application programming interfaces (API)
Studios
Software engineering
Experiments
25 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

Testing
Virtual machine
Defects
Markov processes
Sampling
14 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

Experiments
5 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

Application programming interfaces (API)
Black-box testing
Testing
Software engineering
Defects
6 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

Java programming language
4 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

Java programming language
Computer software maintenance
Industry
Experiments
1 Citation (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

Automatic testing
Retrofitting
Testing
Seed
Costs
4 Citations (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

Synchronization
Software engineering
Computer systems
Costs
2015
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

Trace analysis
Concurrency
Trace
Filter
Prediction

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

Trace analysis
Dynamic analysis
Concretes

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

Program debugging
Parallel programming
Computer programming languages
Clocks
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

Program debugging
Dispatching
Debugging
Computer programming languages
Programming Languages
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

Object oriented programming
Object-oriented Languages
Algorithm Analysis
Compiler
Java
11 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

Testing
Software reliability
Costs
Experiments
2013
1 Citation (Scopus)

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

Computer programming languages
Experiments
5 Citations (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

Websites
Search engines
Static analysis
World Wide Web
Costs
2011
3 Citations (Scopus)

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

Redundancy
24 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

Defects
Static analysis
Sorting
Screening
Inspection
2 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

Frequency Estimation
Frequency estimation
Object-oriented
Target
Learning algorithms
7 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

Java
Flow graphs
Redundancy
Scheduling
Flow Graphs
2010
8 Citations (Scopus)

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

Hazards and race conditions
Concurrent
Thread
Scheduling
Data storage equipment
17 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