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
2012
15 Citations (Scopus)

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

Structural properties
Linear regression
Testing
Open source software
53 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

Application programming interfaces (API)
6 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

Program diagnostics
2 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

Failure analysis
Costs
1 Citation (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

Soot
Data flow analysis
Application programming interfaces (API)
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