Follow
Yufeng Zhang
Yufeng Zhang
PhD. student of Computer Science, University of Defense Technology
No verified email
Title
Cited by
Cited by
Year
Collaborative testing of web services
H Zhu, Y Zhang
IEEE Transactions on Services Computing 5 (1), 116-130, 2010
752010
Testing java components based on algebraic specifications
B Yu, L Kong, Y Zhang, H Zhu
2008 1st International Conference on Software Testing, Verification, and …, 2008
592008
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
562015
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
302015
Ontology for service oriented testing of web services
Y Zhang, H Zhu
2008 IEEE International Symposium on Service-Oriented System Engineering …, 2008
272008
Speculative Symbolic Execution
Y Zhang, Z Chen, J Wang
arXiv preprint arXiv:1205.4951, 2012
222012
A test automation framework for collaborative testing of web service dynamic compositions
H Zhu, Y Zhang
Advanced web services, 171-197, 2014
102014
S2PF: speculative symbolic PathFinder
Y Zhang, Z Chen, J Wang
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
92012
An intelligent broker approach to semantics-based service composition
Y Zhang, H Zhu
2011 IEEE 35th Annual Computer Software and Applications Conference, 20-25, 2011
72011
The system can't perform the operation now. Try again later.
Articles 1–9