Publisher
Springer International Publishing
Reference51 articles.
1. Duan, Z., Yang, X., Koutny, M.: Framed temporal logic programming. Sci. Comput. Program. 70(1), 31–61 (2008)
2. Tian, C., Duan, Z., Duan, Z.: Making CEGAR more efficient in software model checking. IEEE Trans. Softw. Eng. 40(12), 1206–1223 (2014)
3. Hong, Z., Feng, Z.Y.: Collaborative testing of web services. IEEE Trans. Serv. Comput. 5(1), 116–130 (2012)
4. Bozkurt, M., Harman, M., Hassoun, Y.: Testing and verification in service-oriented architecture: a survey. Softw. Test. Verif. Reliab. 23(4), 261–313 (2013)
5. Ebrahim, S.M.: A survey of service-oriented architecture systems testing. J. Softw. Eng. Appl. (IJSEA) 3(6), 19–27 (2012)