| Collaborative testing of web services H Zhu, Y Zhang IEEE Transactions on Services Computing 5 (1), 116-130, 2010 | 75 | 2010 |
| 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 | 59 | 2008 |
| 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 |
| 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 |
| Ontology for service oriented testing of web services Y Zhang, H Zhu 2008 IEEE International Symposium on Service-Oriented System Engineering …, 2008 | 27 | 2008 |
| Speculative Symbolic Execution Y Zhang, Z Chen, J Wang arXiv preprint arXiv:1205.4951, 2012 | 22 | 2012 |
| A test automation framework for collaborative testing of web service dynamic compositions H Zhu, Y Zhang Advanced web services, 171-197, 2014 | 10 | 2014 |
| S2PF: speculative symbolic PathFinder Y Zhang, Z Chen, J Wang ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012 | 9 | 2012 |
| 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 | 7 | 2011 |
