您位于: 首页

文献

文献按出版年份和作者姓名排序.

Kang, L, Zhan, H, and Cao, D (2015).
Expressing and Composing Actors for Deterministic and Scalable Programming in Cloud
In: 2015 IEEE Symposium on Service-Oriented System Engineering, iVCE 2015, pp. 267-275, San Francisco, CA, USA.

Ma, Y, Liu, X, Zhang, S, Xiang, R, Xie, T, and Liu, Y (2015).
Measurement and Analysis of Mobile Web Cache Performance
In: Proceedings of 2015 International Conference on World Wide Web (WWW'2015).

Liu, C, Wang, Y, Zhang, W, and Jin, Z (2014).
Eliciting dependability requirements: a control cases based approach
Science China Information Science, 57(1).

Wang, X, Dang, Y, Zhang, L, Zhang, D, Lan, E, and Mei, H (2014).
Predicting Consistency-Maintenance Requirement of Code Clones at Copy-and-Paste Time
IEEE Transactions on Software Engineering, 40(8):773-794.

Wei, B, Jin, Z, Zoughi, D, and Yin, B (2014).
Implementation decision making for internetware driven by quality requirements
Science in China: Information Sciences, 57(7).

Wong, C, Xiong, Y, Zhang, H, Hao, D, Zhang, L, and Mei, H (2014).
Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis
In: Proceedings of the 30th International Conference on Software Maintenance and Evolution (ICSME 2014), pp. 181-190.

Xie, T, Zhang, L, Xiao, X, Xiong, Y, and Hao, D (2014).
Cooperative Software Testing and Analysis: Advances and Challenges
Journal of Computer Science and Technology, 29(4):713-723.

Yang, Z, Li, Z, Jin, Z, and Chen, Y (2014).
A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems
In: Proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2014), Springer.

Zhang, J, Chen, J, Hao, D, Xiong, Y, Xie, B, Zhang, L, and Mei, H (2014).
Search-Based Inference of Polynomial Metamorphic Relations
In: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), pp. 701-712.

Zhang, J, Zhu, M, Hao, D, and Zhang, L (2014).
An Empirical Study on the Scalability of Selective Mutation Testing
In: Proceedings of 25th International Symposium on Software Reliability Engineering (ISSRE 2014).

Zhu, Z, Zou, Y, Xie, B, Jin, Y, Lin, Z, and Zhang, L (2014).
Mining API Usage Examples from Test Code
In: Proceedings of the 30th International Conference on Software Maintenance and Evolution (ICSME 2014), pp. 301-310.

Zowghi, D and Jin, Z (2014).
Requirements Engineering, Proceedings of First Asia Pacific Requirements Engineering Symposium (APRES 2014)
Springer, Auckland, New Zealand, vol. Communications in Computer and Information Science (CCIS) 432.

乔子健, 陈德健, 孙艳春 (2014).
一种面向 Chrome浏览器的课堂云笔记插件
In: NASAC 2014.

施心悦, 鲁扬扬, 李戈, 金芝 (2014).
按需动态知识提供:一个在线知件库系统
计算机科学与探索.

王睿智, 史庭训, 焦文品 (2014).
一种基于元组空间的智能传感器协同感知机制
软件学报, 26(4):790-801.

Branco Moisés, Xiong Yingfei, Czarnecki Krzysztof, Küster Jochen, Völzer Hagen (2013).
A Case Study on Consistency Management of Business and IT Process Models in Banking.
Software and Systems Modeling.

Hao, D, Lan, T, Zhang, H, Guo, C, and Zhang, L (2013).
Is This a Bug or an Obsolete Test?
In: ECOOP, pp. 602-628.

Hao, D, Zhao, X, and Zhang, L (2013).
Adaptive Test-Case Prioritization Guided by Output Inspection
In: COMPSAC, pp. 169-179.

Hao, Y, Li, G, Mou, L, Zhang, L, and Jin, Z (2013).
MCT: A Tool for Commenting Program by Multimedia Comments
In: ICSE 2013, pp. 1339-1342.

Hermann, F, Ehrig, H, Orejas, F, Czarnecki, K, Diskin, Z, Xiong, Y, Gottmann, S, and Engel, T (2013).
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
Software & Systems Modeling:1-29.

Hou, S, Zhang, C, Hao, D, and Zhang, L (2013).
PathART: Path-Sensitive Adaptive Random Testing
In: Proc. of Internetware.

Jiao, W (2013).
Measurements for Adaptation Level and Efficiency of Adaptive Software Systems
In: ICECCS, vol. 2013, pp. 37-45, Sigapore, IEEE, IEEE Press.

Jiao, W and Sun, Y (2013).
Supporting Adaptation of Decentralized Software based on Application Scenarios
Journal of Systems and Software, 86(7):1891-1906.

Li, J, Xiong, Y, Liu, X, and Zhang, L (2013).
How Does Web Service API Evolution Affect Clients?
In: ICWS, pp. 300-307.

Mu, K, Hong, J, Jin, Z, and Liu, W (2013).
From inconsistency handling to non-canonical requirements management: A logical perspective
Int. J. Approx. Reasoning, 54(1):109-131.