Author:
Barbanera Franco,Lanese Ivan,Tuosto Emilio
Publisher
Springer International Publishing
Reference48 articles.
1. Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Trans. Softw. Eng. 29(7), 623–633 (2003)
2. Ariola, W., Dunlop, C.: Testing in the API Economy. Top 5 Myths.
https://api2cart.com/api-technology/api-testing-myths-infographic/
3. Autili, M., Inverardi, P., Tivoli, M.: Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates. Sci. Comput. Program. 160, 3–29 (2018)
4. Autili, M., Di Ruscio, D., Di Salle, A., Perucci, A.: CHOReOSynt: enforcing choreography realizability in the future internet. In: Cheung, S.-C., Orso, A., Storey, M.-A.D. (eds.) Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-22), Hong Kong, China, 16–22 November 2014, pp. 723–726. ACM (2014)
5. Lecture Notes in Computer Science;M Autili,2019
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献