{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T02:34:43Z","timestamp":1778898883068,"version":"3.51.4"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030389901","type":"print"},{"value":"9783030389918","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-38991-8_10","type":"book-chapter","created":{"date-parts":[[2020,1,22]],"date-time":"2020-01-22T01:34:32Z","timestamp":1579656872000},"page":"138-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Verification of Microservices Using Metamorphic Testing"],"prefix":"10.1007","author":[{"given":"Gang","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xi","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huai","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rongbin","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dinesh","family":"Nagumothu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ranjith","family":"Janapareddi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Er","family":"Zhuang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,1,22]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Arcuri, A.: Restful API automated test case generation. In: IEEE International Conference on Software Quality, Reliability and Security (QRS), pp. 9\u201320. IEEE (2017)","DOI":"10.1109\/QRS.2017.11"},{"key":"10_CR2","unstructured":"Bai, X., Dong, W., Tsai, W.T., Chen, Y.: WSDL-based automatic test case generation for web services testing. In: IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), pp. 207\u2013212. IEEE (2005)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Fielding, R., Masinter, L.: Uniform resource identifier (URI): generic syntax. Technical report (2004)","DOI":"10.17487\/rfc3986"},{"key":"10_CR4","unstructured":"Cal\u00e7ado, P.: Building products at soundcloud\u2014Part I: dealing with the monolith (2014). https:\/\/tinyurl.com\/jxy8yl9 . Accessed 23 June 2019"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"de Camargo, A., Salvadori, I., Mello, R.D.S., Siqueira, F.: An architecture to automate performance tests on microservices. In: Proceedings of the 18th International Conference on Information Integration and Web-Based Applications and Services, pp. 422\u2013429. ACM (2016)","DOI":"10.1145\/3011141.3011179"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Chakrabarti, S.K., Rodriquez, R.: Connectedness testing of restful web-services. In: Proceedings of the India Software Engineering Conference, pp. 143\u2013152. ACM (2010)","DOI":"10.1145\/1730874.1730902"},{"key":"10_CR7","unstructured":"Chen, T.Y., Cheung, S.C., Yiu, S.M.: Metamorphic testing: a new approach for generating next test cases. Technical report, HKUST-CS98-01, Department of Computer Science, Hong Kong (1998)"},{"issue":"1","key":"10_CR8","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/3143561","volume":"51","author":"TY Chen","year":"2018","unstructured":"Chen, T.Y., et al.: Metamorphic testing: a review of challenges and opportunities. ACM Comput. Surv. (CSUR) 51(1), 4 (2018)","journal-title":"ACM Comput. Surv. (CSUR)"},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1186\/1471-2105-10-24","volume":"10","author":"T Chen","year":"2009","unstructured":"Chen, T., Ho, J.W., Liu, H., Xie, X.: An innovative approach for testing bioinformatics programs using metamorphic testing. BMC Bioinform. 10(1), 24 (2009)","journal-title":"BMC Bioinform."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Crockford, D.: The application\/json Media Type for JavaScript Object Notation (JSON). Technical report (2006)","DOI":"10.17487\/rfc4627"},{"key":"10_CR11","unstructured":"Customers and orders management application. https:\/\/github.com\/eventuate-tram\/eventuate-tram-sagas-examples-customers-and-orders . Accessed 23 June 2019"},{"key":"10_CR12","unstructured":"Event-sourcing + CQRS example application. https:\/\/tinyurl.com\/y3fqzz8y . Accessed 23 June 2019"},{"key":"10_CR13","unstructured":"Eventuate.io microservice provider. https:\/\/eventuate.io\/ . Accessed 23 June 2019"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Fertig, T., Braun, P.: Model-driven testing of restful APIs. In: Proceedings of the 24th International Conference on World Wide Web, pp. 1497\u20131502. ACM (2015)","DOI":"10.1145\/2740908.2743045"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Fielding, R., et al.: Hypertext Transfer Protocol - HTTP\/1.1. Technical report (1999)","DOI":"10.17487\/rfc2616"},{"key":"10_CR16","unstructured":"Fielding, R.T., Taylor, R.N.: Architectural styles and the design of network-based software architectures, vol. 7. Irvine Doctoral dissertation, University of California (2000)"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/1064978.1065036","volume":"40","author":"P Godefroid","year":"2005","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. ACM SIGPLAN Not. 40, 213\u2013223 (2005)","journal-title":"ACM SIGPLAN Not."},{"key":"10_CR18","unstructured":"Goldberg, Y.: Scaling gilt: from monolithic ruby application to distributed Scala micro-services architecture (2014)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Heinrich, R., et al.: Performance engineering for microservices: research challenges and directions (2017)","DOI":"10.1145\/3053600.3053653"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Heorhiadi, V., Rajagopalan, S., Jamjoom, H., Reiter, M.K., Sekar, V.: Gremlin: systematic resilience testing of microservices. In: International Conference on Distributed Computing Systems (ICDCS), pp. 57\u201366. IEEE (2016)","DOI":"10.1109\/ICDCS.2016.11"},{"issue":"3","key":"10_CR21","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1109\/TSE.2011.45","volume":"38","author":"RM Hierons","year":"2011","unstructured":"Hierons, R.M.: Oracles for distributed testing. IEEE Trans. Softw. Eng. 38(3), 629\u2013641 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR22","unstructured":"Ihde, S., Parikh, K.: From a monolith to microservices + REST: the evolution of LinkedIn\u2019s service architecture (2015)"},{"key":"10_CR23","unstructured":"Kramer, S.: The biggest thing Amazon got right: the platform. Gigaom, 12 October 2011"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Lamela Seijas, P., Li, H., Thompson, S.: Towards property-based testing of RESTful web services (2013)","DOI":"10.1145\/2505305.2505317"},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1145\/2666356.2594334","volume":"49","author":"V Le","year":"2014","unstructured":"Le, V., Afshari, M., Su, Z.: Compiler validation via equivalence modulo inputs. ACM SIGPLAN Not. 49, 216\u2013226 (2014)","journal-title":"ACM SIGPLAN Not."},{"key":"10_CR26","unstructured":"Lewis, J., Fowler, M.: Microservices (2014). martinfowler.com"},{"issue":"1","key":"10_CR27","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/TSE.2013.46","volume":"40","author":"H Liu","year":"2013","unstructured":"Liu, H., Kuo, F., Towey, D., Chen, T.Y.: How effectively does metamorphic testing alleviate the oracle problem? IEEE Trans. Softw. Eng. 40(1), 4\u201322 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR28","unstructured":"Mauro, T.: Adopting microservices at netflix: lessons for architectural design (2015). Acesso em 8 2016"},{"issue":"9","key":"10_CR29","first-page":"24","volume":"2","author":"D Namiot","year":"2014","unstructured":"Namiot, D., Sneps-Sneppe, M.: On micro-services architecture. Int. J. Open Inf. Technol. 2(9), 24\u201327 (2014)","journal-title":"Int. J. Open Inf. Technol."},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Noikajana, S., Suwannasart, T.: An improved test case generation method for web service testing from WSDL-S and OCL with pair-wise testing technique. In: International Computer Software and Applications Conference, vol. 1, pp. 115\u2013123. IEEE (2009)","DOI":"10.1109\/COMPSAC.2009.25"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Panda, A., Sagiv, M., Shenker, S.: Verification in the age of microservices. In: Proceedings of the 16th Workshop on Hot Topics in Operating Systems, pp. 30\u201336. ACM (2017)","DOI":"10.1145\/3102980.3102986"},{"key":"10_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-319-68972-2_10","volume-title":"Fundamentals of Software Engineering","author":"A Parsai","year":"2017","unstructured":"Parsai, A., Murgia, A., Demeyer, S.: LittleDarwin: a feature-rich and extensible mutation testing framework for large and complex Java systems. In: Dastani, M., Sirjani, M. (eds.) FSEN 2017. LNCS, vol. 10522, pp. 148\u2013163. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68972-2_10"},{"key":"10_CR33","unstructured":"Pinheiro, P.V.P., Endo, A.T., Simao, A.: Model-based testing of restful web services using UML protocol state machines. In: Brazilian Workshop on Systematic and Automated Software Testing, pp. 1\u201310 (2013)"},{"key":"10_CR34","unstructured":"Restaurant management application. https:\/\/github.com\/eventuate-examples\/eventuate-examples-restaurant-management . Accessed 23 June 2019"},{"key":"10_CR35","first-page":"15","volume":"25","author":"C Richardson","year":"2014","unstructured":"Richardson, C.: Microservices: decomposing applications for deployability and scalability. InfoQ 25, 15\u201316 (2014)","journal-title":"InfoQ"},{"key":"10_CR36","unstructured":"Savchenko, D., Radchenko, G.: Microservices validation: methodology and implementation. In: 1st Ural Workshop on Parallel, Distributed, and Cloud Computing for Young Scientists, pp. 21\u201328 (2015)"},{"issue":"9","key":"10_CR37","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1109\/TSE.2016.2532875","volume":"42","author":"S Segura","year":"2016","unstructured":"Segura, S., Fraser, G., Sanchez, A.B., Ruiz-Cort\u00e9s, A.: A survey on metamorphic testing. IEEE Trans. Softw. Eng. 42(9), 805\u2013824 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"11","key":"10_CR38","doi-asserted-by":"publisher","first-page":"1083","DOI":"10.1109\/TSE.2017.2764464","volume":"44","author":"S Segura","year":"2017","unstructured":"Segura, S., Parejo, J.A., Troya, J., Ruiz-Cort\u00e9s, A.: Metamorphic testing of restful web APIs. IEEE Trans. Softw. Eng. 44(11), 1083\u20131099 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Sun, C.A., Wang, G., Mu, B., Liu, H., Wang, Z., Chen, T.Y.: Metamorphic testing for web services: framework and a case study. In: 2011 IEEE International Conference on Web Services, pp. 283\u2013290. IEEE (2011)","DOI":"10.1109\/ICWS.2011.65"},{"key":"10_CR40","unstructured":"Transactional service application. https:\/\/github.com\/cer\/event-sourcing-examples . Accessed 23 June 2019"},{"key":"10_CR41","doi-asserted-by":"crossref","unstructured":"Villamizar, M., et al.: Evaluating the monolithic and the microservice architecture pattern to deploy web applications in the cloud. In: 2015 10th Computing Colombian Conference (10CCC), pp. 583\u2013590. IEEE (2015)","DOI":"10.1109\/ColumbianCC.2015.7333476"},{"key":"10_CR42","unstructured":"Hu, W., Yu, H., Liu, X., Chen, X.: Study on REST API test model supporting web service integration. In: 2017 IEEE 3rd International Conference on Big Data Security on Cloud (BigDataSecurity), IEEE International Conference on High Performance and Smart Computing (HPSC), and IEEE International Conference on Intelligent Data and Security (IDS), pp. 133\u2013138. IEEE (2017)"},{"key":"10_CR43","doi-asserted-by":"crossref","first-page":"e4436","DOI":"10.1002\/cpe.4436","volume":"31","author":"D Yu","year":"2018","unstructured":"Yu, D., Jin, Y., Zhang, Y., Zheng, X.: A survey on security issues in services communication of microservices-enabled fog applications. Concurr. Comput. Pract. Exp. 31, e4436 (2018)","journal-title":"Concurr. Comput. Pract. Exp."},{"issue":"1","key":"10_CR44","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/s11280-018-0562-5","volume":"22","author":"T Zheng","year":"2019","unstructured":"Zheng, T., et al.: SmartVM: a SLA-aware microservice deployment framework. World Wide Web 22(1), 275\u2013293 (2019). https:\/\/doi.org\/10.1007\/s11280-018-0562-5","journal-title":"World Wide Web"},{"key":"10_CR45","doi-asserted-by":"crossref","unstructured":"Zheng, X., Julien, C., Podorozhny, R., Cassez, F.: BraceAssertion: runtime verification of cyber-physical systems. In: 2015 IEEE 12th International Conference on Mobile Ad Hoc and Sensor Systems, pp. 298\u2013306. IEEE (2015)","DOI":"10.1109\/MASS.2015.15"},{"issue":"2","key":"10_CR46","doi-asserted-by":"publisher","first-page":"1667","DOI":"10.1109\/JSYST.2016.2614599","volume":"12","author":"X Zheng","year":"2016","unstructured":"Zheng, X., Julien, C., Podorozhny, R., Cassez, F., Rakotoarivelo, T.: Efficient and scalable runtime monitoring for cyber-physical system. IEEE Syst. J. 12(2), 1667\u20131678 (2016)","journal-title":"IEEE Syst. J."}],"container-title":["Lecture Notes in Computer Science","Algorithms and Architectures for Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-38991-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T12:55:30Z","timestamp":1695646530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-38991-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030389901","9783030389918"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-38991-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"22 January 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICA3PP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Algorithms and Architectures for Parallel Processing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Melbourne, VIC","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 December 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ica3pp2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/nsclab.org\/ica3pp2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"251","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"73","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5.8","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}