English
Related papers

Related papers: Invariant-Driven Automated Testing

200 papers

Modern distributed applications are moving toward a microservice architecture, in which each service is developed and managed independently, and new features and updates are delivered continuously. A guiding principle of microservice…

Software Engineering · Computer Science 2019-08-21 Chengxu Cui , Guoquan Wu , Wei Chen , Jiaxing Zhu , Jun Wei

Microservices is an architectural style that structures an application as a collection of loosely coupled services, making it easy for developers to build and scale their applications. The microservices architecture approach differs from…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-27 Muhammad Ahsan , Sacheendra Talluri , Alexandru Iosup

The growing need for scalable, maintainable, and fast-deploying systems has made microservice architecture widely popular in software development. This paper presents a system that uses Large Language Models (LLMs) to automate the API-first…

Software Engineering · Computer Science 2025-03-05 Saurabh Chauhan , Zeeshan Rasheed , Abdul Malik Sami , Zheying Zhang , Jussi Rasku , Kai-Kristian Kemell , Pekka Abrahamsson

Nowadays, many companies design and develop their software systems as a set of loosely coupled microservices that communicate via their Application Programming Interfaces (APIs). While the loose coupling improves maintainability,…

Software Engineering · Computer Science 2024-06-05 Alexander Lercher , Johann Glock , Christian Macho , Martin Pinzger

Micro-services are a common architectural approach to software development today. An indispensable tool for evolving micro-service systems is A/B testing. In A/B testing, two variants, A and B, are applied in an experimental setting. By…

Software Engineering · Computer Science 2022-04-05 Federico Quin , Danny Weyns

Microservices is an emerging development paradigm where software is obtained by composing autonomous entities, called (micro)services. However, microservice systems are currently developed using general-purpose programming languages that do…

Programming Languages · Computer Science 2017-04-27 Claudio Guidi , Ivan Lanese , Manuel Mazzara , Fabrizio Montesi

The microservice architecture is a style inspired by service-oriented computing that has recently started gaining popularity and that promises to change the way in which software is perceived, conceived and designed. In this paper, we…

Software Engineering · Computer Science 2017-02-24 Nicola Dragoni , Ivan Lanese , Stephan Thordal Larsen , Manuel Mazzara , Ruslan Mustafin , Larisa Safina

API testing has increasing demands for software companies. Prior API testing tools were aware of certain types of dependencies that needed to be concise between operations and parameters. However, their approaches, which are mostly done…

Software Engineering · Computer Science 2024-07-16 Tri Le , Thien Tran , Duy Cao , Vy Le , Tien Nguyen , Vu Nguyen

RESTful APIs are an increasingly common way to expose software systems functionality and it is therefore of high interest to find methods to automatically test and verify such APIs. To lower the barrier for industry adoption, such methods…

Software Engineering · Computer Science 2019-12-23 Stefan Karlsson , Adnan Causevic , Daniel Sundmark

Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper, we formalize these practices and show that automated…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-29 Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , Gianluigi Zavattaro

This paper presents a system that uses Large Language Models (LLMs)-based agents to automate the API-first development of RESTful microservices. This system helps to create an OpenAPI specification, generate server code from it, and refine…

The microservices architectural style has become the de facto standard for large-scale cloud applications, offering numerous benefits in scalability, maintainability, and deployment flexibility. Many organizations are pursuing the migration…

Software Engineering · Computer Science 2025-03-28 Matthéo Lecrivain , Hanifa Barry , Dalila Tamzalit , Houari Sahraoui

REST APIs are prevalent among web service implementations, easing interoperability through the HTTP protocol. API testers and users exploit the widely adopted OpenAPI Specification (OAS), a machine-readable standard to document REST APIs.…

Software Engineering · Computer Science 2025-07-17 Alix Decrop , Xavier Devroey , Mike Papadakis , Pierre-Yves Schobbens , Gilles Perrouin

Cloud high quality API (Application Programming Interface) testing is essential for supporting the API economy. Autotest is a random test generator that addresses this need. It reads the API specification and deduces a model used in the…

Software Engineering · Computer Science 2022-11-08 Eitan Farchi , Krithika Prakash , Vitali Sokhin

Nowadays, web services play a major role in the development of enterprise applications. Many such applications are now developed using a service-oriented architecture (SOA), where microservices is one of its most popular kind. A RESTful web…

Software Engineering · Computer Science 2019-01-08 Andrea Arcuri

We present a novel model-driven approach for testing RESTful applications. We introduce a (i) domain-specific language for OpenAPI specifications and (ii) a tool to support our methodology. Our DSL is inspired by session types and enables…

Software Engineering · Computer Science 2024-08-06 Christian Bartolo Burlò , Adrian Francalanza , Alceste Scalas , Emilio Tuosto

Enterprises in their journey to the cloud, want to decompose their monolith applications into microservices to maximize cloud benefits. Current research focuses a lot on how to partition the monolith into smaller clusters that perform well…

Software Engineering · Computer Science 2023-08-03 Vini Kanvar , Ridhi Jain , Srikanth Tamilselvam

Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be combined to form valid calls to the service. Unfortunately, current specification languages for web services like the…

Software Engineering · Computer Science 2020-05-08 Alberto Martin-Lopez , Sergio Segura , Carlos Müller , Antonio Ruiz-Cortés

The microservice software architecture leverages the idea of splitting large monolithic applications into multiple smaller services that interact using lightweight communication schemes. While the microservice architecture has proven its…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-03-06 Dāvis Kažemaks , Jérémie Decouchant

In the context of the BI-REX (Big Data Innovation and Research Excellence) competence center SEAWALL (SEAmless loW lAtency cLoud pLatforms) project (scientific coordinator Prof. Maurizio Gabbrielli) we develop a novel approach for run-time…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-06-07 Lorenzo Bacchiani , Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , Gianluigi Zavattaro
‹ Prev 1 2 3 10 Next ›