English
Related papers

Related papers: Invariant-Driven Automated Testing

200 papers

We review some of the most widely used patterns for the programming of microservices: circuit breaker, service discovery, and API gateway. By systematically analysing different deployment strategies for these patterns, we reach new insight…

Software Engineering · Computer Science 2016-09-22 Fabrizio Montesi , Janine Weber

Microservices architecture is one of the new architectural styles that has improved in recent years. It has become a popular architectural style among system architects and developers. This popularity increased with the advent of new…

Software Engineering · Computer Science 2023-08-14 Mahyar Karimi , Ahmad Abdollahzadeh Barfroush

Enterprise applications are often built as service-oriented architectures, where the individual services are designed to perform specific functions and interact with each other by means of well-defined APIs (Application Programming…

Software Engineering · Computer Science 2024-07-11 Fabrizio Montesi , Marco Peressotti , Valentino Picotti , Olaf Zimmermann

A microservice-based application is composed of multiple self-contained components called microservices, and controlling inter-service communication is important for enforcing safety properties. Presently, inter-service communication is…

Programming Languages · Computer Science 2025-08-26 Karuna Grewal , P. Brighten Godfrey , Justin Hsu

Microservice architectures and design patterns enhance the development of large-scale applications by promoting flexibility. Industrial practitioners perceive the importance of applying architectural patterns but they struggle to quantify…

Software Engineering · Computer Science 2024-09-09 Willem Meijer , Catia Trubiani , Aldeida Aleti

Documenting software architecture is essential to preserve architecture knowledge, even though it is frequently costly. Architecture pattern instances, including microservice pattern instances, provide important structural software…

Software Engineering · Computer Science 2026-03-25 Carlos Eduardo Duarte

Reliable and trustworthy evaluation of algorithms is a challenging process. Firstly, each algorithm has its strengths and weaknesses, and the selection of test instances can significantly influence the assessment process. Secondly, the…

Computers and Society · Computer Science 2018-07-18 Szymon Wasik , Maciej Antczak , Jan Badura , Artur Laskowski

A large percentage of buildings in domestic or special-purpose is expected to become increasingly "smarter" in the future, due to the immense benefits in terms of energy saving, safety, flexibility, and comfort, that relevant new…

Computers and Society · Computer Science 2016-11-01 Dilshat Salikhov , Kevin Khanda , Kamill Gusmanov , Manuel Mazzara , Nikolaos Mavridis

Context: Microservices Architecture (MSA) has received significant attention in the software industry. However, little empirical evidence exists on design, monitoring, and testing of microservices systems. Objective: This research aims to…

Software Engineering · Computer Science 2021-08-24 Muhammad Waseem , Peng Liang , Mojtaba Shahin , Amleto Di Salle , Gastón Márquez

The microservice architecture for cloud-based systems is extended to not only require each loosely coupled component to be independently deployable, but also to provide independent routing for each component. This supports canary…

Networking and Internet Architecture · Computer Science 2021-10-19 Jeremy J. Carroll , Pankaj Anand , David Guo

Major advances in telecommunications and the Internet of Things have given rise to numerous smart city scenarios in which smart services are provided. What was once a dream for the future has now become reality. However, the need to provide…

The widespread adoption of REST APIs, coupled with their growing complexity and size, has led to the need for automated REST API testing tools. Current tools focus on the structured data in REST API specifications but often neglect valuable…

Software Engineering · Computer Science 2024-01-31 Myeongsoo Kim , Tyler Stennett , Dhruv Shah , Saurabh Sinha , Alessandro Orso

To make microtask programming more efficient and reduce the potential for conflicts between contributors, I developed a new behavior-driven approach to microtasking programming. In our approach, each microtask asks developers to identify a…

Software Engineering · Computer Science 2020-09-03 Emad Aghayi

Microservices emerged as a popular architectural style over the last decade. Although microservices are designed to be self-contained, they must communicate to realize business capabilities, creating dependencies among their data and…

Software Engineering · Computer Science 2024-08-02 Rodrigo Laigner , Ana Carolina Almeida , Wesley K. G. Assunção , Yongluan Zhou

As per leading IT experts, today's large enterprises are going through business transformations. They are adopting service-based IT models such as SOA to develop their enterprise information systems and applications. In fact, SOA is an…

Software Engineering · Computer Science 2012-03-27 Youssef Bassil

Big Data are growing at an exponential rate and it becomes necessary the use of tools and technologies to manage, process and visualize them in order to extract value. In this paper a micro-service based platform is presented for the…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-02-08 Davide Profeta , Nicola Masi , Domenico Messina , Davide Dalle Carbonare , Susanna Bonura , Vito Morreale

The given paper presents an overview of modern RESTful API description languages (belongs to interface description languages set) - OpenAPI, RAML, WADL, Slate - designed to provide a structured description of a RESTful web APIs (that is…

Software Engineering · Computer Science 2020-03-27 Kyrylo Malakhov , Oleksandr Kurgaev , Vitalii Velychko

Malformed, missing, or boundary-value inputs in microservice APIs can cascade across dependent services, threatening reliability. Robustness testing systematically exercises such inputs to expose server-side failures, but generating…

Software Engineering · Computer Science 2026-05-15 Hrushitha Goud Tigulla , Marco Vieira

This work-in-progress report presents both the design and partial evaluation of distributed execution indexing, a technique for microservice applications that precisely identifies dynamic instances of inter-service remote procedure calls…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-20 Christopher S. Meiklejohn , Rohan Padhye , Heather Miller

We formally define and implement a translation from domain models in the LEMMA modelling framework to microservice APIs in the Jolie programming language. Our tool enables a software development process whereby microservice architectures…

Software Engineering · Computer Science 2022-02-24 Saverio Giallorenzo , Fabrizio Montesi , Marco Peressotti , Florian Rademacher
‹ Prev 1 4 5 6 7 8 10 Next ›