{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T21:11:04Z","timestamp":1782940264146,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786155.3795704","type":"proceedings-article","created":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T09:22:47Z","timestamp":1782897767000},"page":"47-51","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["SBFT Tool Competition 2026: REST League"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9475-4836","authenticated-orcid":false,"given":"Michele","family":"Pasqua","sequence":"first","affiliation":[{"name":"Dept. of Computer Science, University of Verona, Verona, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-2594-4562","authenticated-orcid":false,"given":"Davide","family":"Corradini","sequence":"additional","affiliation":[{"name":"SnT, University of Luxembourg, Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-7800-9547","authenticated-orcid":false,"given":"Sofia","family":"Mari","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, University of Verona, Verona, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7325-0316","authenticated-orcid":false,"given":"Mariano","family":"Ceccato","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, University of Verona, Verona, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","unstructured":"Andrea Arcuri. 2019. RESTful API Automated Test Case Generation with EvoMaster. ACM Trans. Softw. Eng. Methodol. 28 1 Article 3 (2019) 37\u00a0pages. 10.1145\/3293455","DOI":"10.1145\/3293455"},{"key":"e_1_3_3_2_3_2","volume-title":"A Real World Example for Open API Restful Spring boot Application + Swagger + MySQL + Docker","year":"2026","unstructured":"bird-developer. 2026. A Real World Example for Open API Restful Spring boot Application + Swagger + MySQL + Docker. https:\/\/github.com\/birddevelper\/NoteBookManager"},{"key":"e_1_3_3_2_4_2","volume-title":"Confluent REST Proxy for Kafka","year":"2026","unstructured":"confluentic. 2026. Confluent REST Proxy for Kafka. https:\/\/github.com\/confluentinc\/kafka-rest"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695511"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST62969.2025.10988956"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME52107.2021.00063"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME55016.2022.00068"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","unstructured":"Davide Corradini Amedeo Zampieri Michele Pasqua Emanuele Viglianisi Michael Dallago and Mariano Ceccato. 2022. Automated black-box testing of nominal and error scenarios in RESTful APIs. Software Testing Verification and Reliability 32 5 (2022) e1808. 10.1002\/stvr.1808","DOI":"10.1002\/stvr.1808"},{"key":"e_1_3_3_2_10_2","volume-title":"Introducing 2.5 Flash-Lite, a thinking model for those looking for low cost and latency","year":"2026","unstructured":"DeepMind. 2026. Introducing 2.5 Flash-Lite, a thinking model for those looking for low cost and latency. https:\/\/deepmind.google\/models\/gemini\/flash-lite"},{"key":"e_1_3_3_2_11_2","volume-title":"CATS: REST API fuzzer and negative testing tool","year":"2026","unstructured":"Endava. 2026. CATS: REST API fuzzer and negative testing tool. https:\/\/endava.github.io\/cats"},{"key":"e_1_3_3_2_12_2","volume-title":"Vulnerable REST API with OWASP top 10 vulnerabilities for security testing","year":"2026","unstructured":"erev0s. 2026. Vulnerable REST API with OWASP top 10 vulnerabilities for security testing. https:\/\/github.com\/erev0s\/VAmPI"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.5555\/932295"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3528637"},{"key":"e_1_3_3_2_15_2","volume-title":"OpenAPI Specifications","author":"Initiative OpenAPI","year":"2025","unstructured":"OpenAPI Initiative. 2025. OpenAPI Specifications. https:\/\/spec.openapis.org\/oas"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00218"},{"key":"e_1_3_3_2_17_2","volume-title":"Advanced Engineering Mathematics (tenth ed.)","author":"Kreyszig Erwin","year":"2011","unstructured":"Erwin Kreyszig, Herbert Kreyszig, and E.\u00a0J. Norminton. 2011. Advanced Engineering Mathematics (tenth ed.). Wiley, Hoboken, NJ."},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3340433.3342822"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","unstructured":"Alberto Martin-Lopez Sergio Segura and Antonio Ruiz-Cort\u00e9s. 2021. RESTest: automated black-box testing of RESTful web APIs(ISSTA \u201921). Association for Computing Machinery New York NY USA 682\u2013685. 10.1145\/3460319.3469082","DOI":"10.1145\/3460319.3469082"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.18434145"},{"key":"e_1_3_3_2_21_2","volume-title":"Llama 3.2: Revolutionizing edge AI and vision with open, customizable models","author":"Platforms Meta","year":"2026","unstructured":"Meta Platforms. 2026. Llama 3.2: Revolutionizing edge AI and vision with open, customizable models. https:\/\/ai.meta.com\/blog\/llama-3-2-connect-2024-vision-edge-mobile-devices"},{"key":"e_1_3_3_2_22_2","volume-title":"Case Study - Flight Search Api (Java 21, Spring Boot, Mongodb, JUnit, Spring Security, JWT, Docker, AOP, Kubernetes, Prometheus, Grafana, Github Actions (CI\/CD), Jenkins)","year":"2026","unstructured":"Rapter1990. 2026. Case Study - Flight Search Api (Java 21, Spring Boot, Mongodb, JUnit, Spring Security, JWT, Docker, AOP, Kubernetes, Prometheus, Grafana, Github Actions (CI\/CD), Jenkins). https:\/\/github.com\/Rapter1990\/flightsearchapi"},{"key":"e_1_3_3_2_23_2","volume-title":"REST version of the Spring Petclinic sample application","year":"2026","unstructured":"spring-petclinic. 2026. REST version of the Spring Petclinic sample application. https:\/\/github.com\/spring-petclinic\/spring-petclinic-rest"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion66252.2025.00015"},{"key":"e_1_3_3_2_25_2","volume-title":"RESTgym benchmarking infrastructure","author":"Lab UniVerSE","year":"2026","unstructured":"UniVerSE Lab. 2026. RESTgym benchmarking infrastructure. https:\/\/github.com\/SeUniVr\/RESTgym"},{"key":"e_1_3_3_2_26_2","volume-title":"Code:Nation - Sistema de Gest\u00e3o Hospitalar","year":"2026","unstructured":"ValchanOficial. 2026. Code:Nation - Sistema de Gest\u00e3o Hospitalar. https:\/\/github.com\/ValchanOficial\/GestaoHospital"},{"key":"e_1_3_3_2_27_2","volume-title":"ERC-20 token standard RESTful service using Spring Boot and web3j","year":"2026","unstructured":"web3labs. 2026. ERC-20 token standard RESTful service using Spring Boot and web3j. https:\/\/github.com\/web3labs\/erc20-rest-service"}],"event":{"name":"SBFT '26: 19th ACM\/IEEE International Workshop on Search-Based and Fuzz Testing","location":"Rio de Janeiro Brazil","acronym":"SBFT '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the 19th ACM\/IEEE International Workshop on Search-Based and Fuzz Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786155.3795704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T09:24:33Z","timestamp":1782897873000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786155.3795704"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":26,"alternative-id":["10.1145\/3786155.3795704","10.1145\/3786155"],"URL":"https:\/\/doi.org\/10.1145\/3786155.3795704","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}