Pureに変更を加えた場合、すぐここに表示されます。

研究成果 1996 2991

2991
6 引用 (Scopus)

Static analysis of Java bytecode

Zhao, J. J., 3 2991, : : Wuhan University Journal of Natural Sciences. 6, 1-2, p. 383-390 8 p.

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

Static analysis
Flow control
Flow graphs
Reverse engineering
Computer program listings
2019

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

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

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

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

Application programming interfaces (API)
Recommender systems
Software engineering

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

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

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

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

7 引用 (Scopus)

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

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

Learning systems
Testing
Deep learning
7 引用 (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).

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

Seed
Testing
Defects
Deep neural networks
Accidents

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

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

5 引用 (Scopus)

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

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

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

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

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., 4 2019, : : Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. p. XXIX 8728943.

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

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

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

Quality Assurance
Intelligent systems
Learning Systems
Intelligent Systems
Quality assurance
2018
31 引用 (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).

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

Learning systems
Testing
Deep learning
Testbeds
Neurons
1 引用 (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).

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

Visualization
Learning systems
Network architecture
Software engineering
Neural networks
19 引用 (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).

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

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

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

Model checking
Software Engineering
Model Checking
Software engineering
Software Development
1 引用 (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., 2 1 2018, : : Frontiers of Computer Science. 12, 1, p. 86-100 15 p.

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

Symbolic Execution
Tuning
Engine
Engines
Benchmark

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

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

Semantic Web
Explosions
Experiments
Web technology
Semantic web

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

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

Websites
HTML
Flow control
2017
2 引用 (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.

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

Computer programming languages

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.

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

2016
54 引用 (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

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

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

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

Testing
Virtual machine
Defects
Markov processes
Sampling
14 引用 (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).

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

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

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

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

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

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

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

Java programming language
Computer software maintenance
Industry
Experiments
1 引用 (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).

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

Automatic testing
Retrofitting
Testing
Seed
Costs
4 引用 (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).

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

Synchronization
Software engineering
Computer systems
Costs
2015
1 引用 (Scopus)

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

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

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

Trace analysis
Concurrency
Trace
Filter
Prediction

Biped: Bidirectional prediction of order violations

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

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

Trace analysis
Dynamic analysis
Concretes

Program differencing for X10

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

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

Program debugging
Parallel programming
Computer programming languages
Clocks
1 引用 (Scopus)

Trace-based debugging for advanced-dispatching programming languages

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

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

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., 2 1 2014, : : Frontiers of Computer Science. 8, 1, p. 52-68 17 p.

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

Object oriented programming
Object-oriented Languages
Algorithm Analysis
Compiler
Java
11 引用 (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).

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

Testing
Software reliability
Costs
Experiments
2013
1 引用 (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).

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

Computer programming languages
Experiments
5 引用 (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).

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

Websites
Search engines
Static analysis
World Wide Web
Costs
2012
15 引用 (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., 1 1 2012, : : Science China Information Sciences. 55, 12, p. 2800-2815 16 p.

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

Structural properties
Linear regression
Testing
Open source software
53 引用 (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).

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

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

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

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

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

Failure analysis
Costs
1 引用 (Scopus)

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.

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

Soot
Data flow analysis
Application programming interfaces (API)
2011
3 引用 (Scopus)

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

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

Redundancy
24 引用 (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

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

Defects
Static analysis
Sorting
Screening
Inspection
2 引用 (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).

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

Frequency Estimation
Frequency estimation
Object-oriented
Target
Learning algorithms
7 引用 (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).

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

Java
Flow graphs
Redundancy
Scheduling
Flow Graphs
2010
8 引用 (Scopus)

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

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

Hazards and race conditions
Concurrent
Thread
Scheduling
Data storage equipment
17 引用 (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).

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

2009
29 引用 (Scopus)

A divergence-oriented approach to adaptive random testing of Java programs

Lin, Y., Tang, X., Chen, Y. & Zhao, J., 12 1 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 221-232 12 p. 5431768. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

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

Testing
Defects
Experiments
2 引用 (Scopus)

Identifying semantic differences in AspectJ programs

Görg, M. T. & Zhao, J., 7 19 2009, Proceedings of the 18th International Symposium on Software Testing and Analysis, ISSTA 2009. Association for Computing Machinery, Inc, p. 25-35 11 p. (Proceedings of the 18th International Symposium on Software Testing and Analysis, ISSTA 2009).

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

Semantics
Object oriented programming