Refinement and verification in component-based model-driven design Z Chen, Z Liu, AP Ravn, V Stolz, N Zhan Science of Computer Programming 74 (4), 168-196, 2009 | 78 | 2009 |
Towards optimal concolic testing X Wang, J Sun, Z Chen, P Zhang, J Wang, Y Lin Proceedings of the 40th International Conference on Software Engineering …, 2018 | 77 | 2018 |
Topology-aware deployment of scientific applications in cloud computing P Fan, Z Chen, J Wang, Z Zheng, MR Lyu 2012 IEEE fifth international conference on cloud computing, 319-326, 2012 | 59 | 2012 |
Regular property guided dynamic symbolic execution Y Zhang, Z Chen, J Wang, W Dong, Z Liu 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 56 | 2015 |
A rigorous model of service component architecture Z Ding, Z Chen, J Liu Electronic Notes in Theoretical Computer Science 207, 33-48, 2008 | 41 | 2008 |
Modelling with relational calculus of object and component systems-rCOS Z Chen, AH Hannousse, D Van Hung, I Knoll, X Li, Z Liu, Y Liu, Q Nan, ... The Common Component Modeling Example: Comparing Software Component Models …, 2008 | 37 | 2008 |
Recent progress in program analysis. Ruan Jian Xue Bao J Zhang, C Zhang, JF Xuan, YF Xiong, QX Wang, B Liang, L Li, WS Dou, ... Journal of Software 30 (1), 80-109, 2019 | 35* | 2019 |
MPISE: Symbolic execution of MPI programs X Fu, Z Chen, Y Zhang, C Huang, W Dong, J Wang 2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015 | 30 | 2015 |
Symbolic verification of message passing interface programs H Yu, Z Chen, X Fu, J Wang, Z Su, J Sun, C Huang, W Dong Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 24 | 2020 |
Speculative symbolic execution Y Zhang, Z Chen, J Wang 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 22 | 2012 |
P-Tracer: Path-based performance profiling in cloud computing systems H Mi, H Wang, H Cai, Y Zhou, MR Lyu, Z Chen 2012 IEEE 36th Annual Computer Software and Applications Conference, 509-514, 2012 | 22 | 2012 |
A predictive runtime verification framework for cyber-physical systems K Yu, Z Chen, W Dong 2014 IEEE Eighth International Conference on Software Security and …, 2014 | 20 | 2014 |
MTracer: A trace-oriented monitoring framework for medium-scale distributed systems J Zhou, Z Chen, H Mi, J Wang 2014 IEEE 8th International Symposium on Service Oriented System Engineering …, 2014 | 20 | 2014 |
云计算系统中基于伴随状态追踪的故障检测机制 饶翔, 王怀民, 陈振邦, 周扬帆, 蔡华, 周琦, 孙廷韬 计算机学报 35 (5), 856-870, 2012 | 20 | 2012 |
The rCOS tool Z Chen, Z Liu, V Stolz Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008 | 20 | 2008 |
Combining Symbolic Execution and Model Checking to Verify MPI Programs H Yu, Z Chen, X Fu, J Wang, Z Su, W Dong, C Huang arXiv preprint arXiv:1803.06300, 2018 | 19 | 2018 |
面向服务软件体系结构的接口模型 陈振邦, 王戟, 董威, 齐治昌 软件学报 17 (6), 1459-1469, 2006 | 19 | 2006 |
A spectral clustering-based optimal deployment method for scientific application in cloud computing P Fan, J Wang, Z Chen, Z Zheng, MR Lyu International Journal of Web and Grid Services 8 (1), 31-55, 2012 | 18 | 2012 |
Specification and validation of behavioural protocols in the rCOS modeler Z Chen, C Morisset, V Stolz International Conference on Fundamentals of Software Engineering, 387-401, 2009 | 18 | 2009 |
Symbolic verification of regular properties H Yu, Z Chen, J Wang, Z Su, W Dong Proceedings of the 40th International Conference on Software Engineering …, 2018 | 17 | 2018 |