{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T05:24:48Z","timestamp":1749878688159,"version":"3.40.3"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031626968"},{"type":"electronic","value":"9783031626975"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-62697-5_5","type":"book-chapter","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:01:23Z","timestamp":1718053283000},"page":"75-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["COTS: Connected OpenAPI Test Synthesis for\u00a0RESTful Applications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0016-086X","authenticated-orcid":false,"given":"Christian Bartolo","family":"Burl\u00f2","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3829-7391","authenticated-orcid":false,"given":"Adrian","family":"Francalanza","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1153-6164","authenticated-orcid":false,"given":"Alceste","family":"Scalas","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7032-3281","authenticated-orcid":false,"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,11]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Aderaldo, C.M., Mendon\u00e7a, N.C., Pahl, C., Jamshidi, P.: Benchmark requirements for microservices architecture research. In: ECASE@ICSE, pp. 8\u201313. IEEE (2017)","DOI":"10.1109\/ECASE.2017.4"},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1007\/s10270-017-0647-0","volume":"18","author":"BK Aichernig","year":"2019","unstructured":"Aichernig, B.K., Schumi, R.: Property-based testing of web services by deriving properties from business-rule models. Softw. Syst. Model. 18(2), 889\u2013911 (2019)","journal-title":"Softw. Syst. Model."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Alonso, J.C., Segura, S., Ruiz-Cort\u00e9s, A.: AGORA: automated generation of test oracles for REST APIs. In: ISSTA, pp. 1018\u20131030. ACM (2023)","DOI":"10.1145\/3597926.3598114"},{"key":"5_CR4","doi-asserted-by":"publisher","unstructured":"Arcuri, A.: Restful API automated test case generation. In: QRS, pp. 9\u201320. IEEE (2017). https:\/\/doi.org\/10.1109\/QRS.2017.11","DOI":"10.1109\/QRS.2017.11"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Atlidakis, V., Godefroid, P., Polishchuk, M.: RESTler: stateful REST API fuzzing. In: ICSE, pp. 748\u2013758. IEEE\/ACM (2019)","DOI":"10.1109\/ICSE.2019.00083"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-030-00761-4_11","volume-title":"Software Architecture","author":"A Avritzer","year":"2018","unstructured":"Avritzer, A., Ferme, V., Janes, A., Russo, B., Schulz, H., van Hoorn, A.: A quantitative approach for the assessment of microservice architecture deployment alternatives by automated performance testing. In: Cuesta, C.E., Garlan, D., P\u00e9rez, J. (eds.) ECSA 2018. LNCS, vol. 11048, pp. 159\u2013174. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00761-4_11"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Chakrabarti, S.K., Kumar, P.: Test-the-rest: an approach to testing restful web-services. In: 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, pp. 302\u2013308 (2009). https:\/\/doi.org\/10.1109\/ComputationWorld.2009.116","DOI":"10.1109\/ComputationWorld.2009.116"},{"key":"5_CR8","unstructured":"Community, S.P.: Pet clinic application (2022). https:\/\/github.com\/spring-petclinic\/spring-petclinic-rest"},{"key":"5_CR9","unstructured":"Community, S.A.: Pet store application (2023). https:\/\/github.com\/swagger-api\/swagger-petstore"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Corradini, D., Zampieri, A., Pasqua, M., Ceccato, M.: Empirical comparison of black-box test case generation tools for restful APIs. CoRR abs\/2108.08196 (2021)","DOI":"10.26226\/morressier.613b54401459512fce6a7ccb"},{"key":"5_CR11","unstructured":"Dalal, S.R., et al.: Model-based testing in practice. In: ICSE, pp. 285\u2013294. ACM (1999)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-14458-5_1","volume-title":"Web Services and Formal Methods","author":"M Dezani-Ciancaglini","year":"2010","unstructured":"Dezani-Ciancaglini, M., de\u2019Liguoro, U.: Sessions and session types: an overview. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 1\u201328. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14458-5_1"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Ed-Douibi, H., Izquierdo, J.L.C., Cabot, J.: Automatic generation of test cases for REST APIs: a specification-based approach. In: EDOC, pp. 181\u2013190. IEEE Computer Society (2018)","DOI":"10.1109\/EDOC.2018.00031"},{"key":"5_CR14","unstructured":"noz Ferrara, J.M.: Features model microservice (2016). https:\/\/github.com\/JavierMF\/features-service"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Fertig, T., Braun, P.: Model-driven testing of restful APIs. In: WWW (Companion Volume), pp. 1497\u20131502. ACM (2015)","DOI":"10.1145\/2740908.2743045"},{"key":"5_CR16","unstructured":"Fielding, R.T., Taylor, R.N.: Architectural styles and the design of network-based software architectures. Ph.D. thesis, University of California, Irvine (2000)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Francisco, M.A., L\u00f3pez, M., Ferreiro, H., Castro, L.M.: Turning web services descriptions into quickcheck models for automatic testing. In: Erlang Workshop, pp. 79\u201386. ACM (2013)","DOI":"10.1145\/2505305.2505306"},{"key":"5_CR18","unstructured":"GraphQL (2023). https:\/\/graphql.org"},{"key":"5_CR19","unstructured":"Henrique, R.: Users registry application (2022). https:\/\/github.com\/Throyer\/springboot-api-rest-example"},{"key":"5_CR20","doi-asserted-by":"publisher","unstructured":"H\u00fcttel, H., et al.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1\u20133:36 (2016). https:\/\/doi.org\/10.1145\/2873052","DOI":"10.1145\/2873052"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Karlsson, S., Causevic, A., Sundmark, D.: QuickREST: property-based test generation of OpenAPI-described restful APIs. In: ICST, pp. 131\u2013141. IEEE (2020)","DOI":"10.1109\/ICST46399.2020.00023"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Kim, M., Xin, Q., Sinha, S., Orso, A.: Automated test generation for rest APIs: no time to rest yet. In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 289\u2013301 (2022)","DOI":"10.1145\/3533767.3534401"},{"issue":"1","key":"5_CR23","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MS.2020.3030786","volume":"38","author":"V Lenarduzzi","year":"2021","unstructured":"Lenarduzzi, V., Daly, J., Martini, A., Panichella, S., Tamburri, D.A.: Toward a technical debt conceptualization for serverless computing. IEEE Softw. 38(1), 40\u201347 (2021)","journal-title":"IEEE Softw."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Liu, Y., et al.: Morest: model-based RESTful API testing with execution feedback. In: ICSE, pp. 1406\u20131417. ACM (2022)","DOI":"10.1145\/3510003.3510133"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Liu, Y., Li, Y., Liu, Y., Wan, R., Wu, R., Liu, Q.: Morest: industry practice of automatic restful API testing. In: ASE, pp. 138:1\u2013138:5. ACM (2022)","DOI":"10.1145\/3551349.3559498"},{"issue":"4","key":"5_CR26","doi-asserted-by":"publisher","first-page":"2342","DOI":"10.1109\/TSC.2021.3050610","volume":"15","author":"A Martin-Lopez","year":"2022","unstructured":"Martin-Lopez, A., Segura, S., M\u00fcller, C., Ruiz-Cort\u00e9s, A.: Specification and automated analysis of inter-parameter dependencies in web APIs. IEEE Trans. Serv. Comput. 15(4), 2342\u20132355 (2022)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"5_CR27","unstructured":"Matos, A.: REST Countries. https:\/\/restcountries.com"},{"key":"5_CR28","unstructured":"OpenAPI (2023). https:\/\/www.openapis.org"},{"key":"5_CR29","unstructured":"Language Tool Organisation: Language tool. https:\/\/github.com\/languagetool-org\/languagetool"},{"key":"5_CR30","unstructured":"Pinheiro, P., Endo, A.T., da\u00a0Silva\u00a0Sim\u00e3o, A.: Model-based testing of RESTful web services using UML protocol state machines (2013)"},{"issue":"11","key":"5_CR31","doi-asserted-by":"publisher","first-page":"1083","DOI":"10.1109\/TSE.2017.2764464","volume":"44","author":"S Segura","year":"2018","unstructured":"Segura, S., Parejo, J.A., Troya, J., Cort\u00e9s, A.R.: Metamorphic testing of restful web APIs. IEEE Trans. Softw. Eng. 44(11), 1083\u20131099 (2018)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Seijas, P.L., Li, H., Thompson, S.J.: Towards property-based testing of restful web services. In: Erlang Workshop, pp. 77\u201378. ACM (2013)","DOI":"10.1145\/2505305.2505317"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Stallenberg, D.M., Olsthoorn, M., Panichella, A.: Improving test case generation for REST APIs through hierarchical clustering. In: ASE, pp. 117\u2013128. IEEE (2021)","DOI":"10.1109\/ASE51524.2021.9678586"},{"key":"5_CR34","unstructured":"Tretmans, G.J., Laar, M.: Model-based testing with TorXakis: the mysteries of dropbox revisited (2019)"},{"key":"5_CR35","unstructured":"de\u00a0Vargas, V.P.: Gestao hospital system. https:\/\/github.com\/ValchanOficial\/GestaoHospital"},{"key":"5_CR36","doi-asserted-by":"publisher","unstructured":"Vasconcelos, V.T.: Fundamentals of session types. Inf. Comput. 217, 52\u201370 (2012). https:\/\/doi.org\/10.1016\/j.ic.2012.05.002","DOI":"10.1016\/j.ic.2012.05.002"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Viglianisi, E., Dallago, M., Ceccato, M.: RESTTESTGEN: automated black-box testing of restful APIs. In: ICST, pp. 142\u2013152. IEEE (2020)","DOI":"10.1109\/ICST46399.2020.00024"},{"key":"5_CR38","unstructured":"Weaveworks: Sock shop (2021). https:\/\/github.com\/microservices-demo\/microservices-demo"},{"key":"5_CR39","unstructured":"WordPress Foundation: Openverse. https:\/\/wordpress.org\/openverse"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"Wu, H., Xu, L., Niu, X., Nie, C.: Combinatorial testing of restful APIs. In: ICSE, pp. 426\u2013437. ACM (2022)","DOI":"10.1145\/3510003.3510151"},{"key":"5_CR41","unstructured":"Zhang, M., Arcuri, A.: Open problems in fuzzing RESTful APIs: a comparison of tools. CoRR abs\/2205.05325v2 (2022). https:\/\/arxiv.org\/abs\/2205.05325v2. Version 2"},{"key":"5_CR42","doi-asserted-by":"crossref","unstructured":"Zhang, M., Marculescu, B., Arcuri, A.: Resource-based test case generation for restful web services. In: GECCO, pp. 1426\u20131434. ACM (2019)","DOI":"10.1145\/3321707.3321815"},{"issue":"4","key":"5_CR43","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/s10664-020-09937-1","volume":"26","author":"M Zhang","year":"2021","unstructured":"Zhang, M., Marculescu, B., Arcuri, A.: Resource and dependency based test case generation for restful web services. Empir. Softw. Eng. 26(4), 76 (2021)","journal-title":"Empir. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62697-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,21]],"date-time":"2024-11-21T14:49:55Z","timestamp":1732200595000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62697-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626968","9783031626975"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62697-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"11 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Models and Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}