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

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

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
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
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
2004
1 引用 (Scopus)

Complexity metrics for software architectures

Zhao, J., 8 2004, : : IEICE Transactions on Information and Systems. E87-D, 8, p. 2152-2156 5 p.

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

Software architecture
Specifications
28 引用 (Scopus)
Cohesion
Software engineering
Software Development
Attribute
Module
2003
24 引用 (Scopus)
Specification languages
Specification Languages
Java
Modeling Language
Specifications
2002
32 引用 (Scopus)

Change impact analysis to support architectural evolution

Zhao, J., Yang, H., Xiang, L. & Xu, B., 9 1 2002, : : Journal of Software Maintenance and Evolution. 14, 5, p. 317-333 17 p.

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

Computer software maintenance
Software architecture
Specifications
4 引用 (Scopus)

Time optimal n-size matching parentheses and binary tree decoding algorithms on a p-processor BSR

Xiang, L., Ushijima, K. & Zhao, J., 9 1 2002, : : Parallel Processing Letters. 12, 3-4, p. 365-374 10 p.

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

Binary trees
Binary Tree
Decoding
Optimal Algorithm
Efficient Algorithms
2001
2 引用 (Scopus)
Software engineering
4 引用 (Scopus)

Dynamic slicing of object-oriented programs

Zhao, J., 1 1 2001, : : Wuhan University Journal of Natural Sciences. 6, 1-2, p. 391-397 7 p.

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

Program debugging
Testing
2000
18 引用 (Scopus)

Dependence analysis of Java bytecode

Zhao, J., 2000, : : Unknown Journal. p. 486-491 6 p.

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

Software engineering
engineering
Reengineering
Reverse engineering
software
1999

Dependence analysis at the architectural level

Zhao, J., 12 1 1999, : : Chinese Journal of Advanced Software Research. 6, 2, p. 164-168 5 p.

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

Software architecture
Specifications