English
Related papers

Related papers: Invariant-Driven Automated Testing

200 papers

The microservice architectural style has many advantages such as scalability, reusability, and easy maintainability. Microservices have therefore become a popular architectural choice when developing new applications. Reaping these benefits…

Software Engineering · Computer Science 2023-01-18 Meryam Chaieb , Mohamed Aymen Saied

Microservices expose their functionality via remote Application Programming Interfaces (APIs), e.g., based on HTTP or asynchronous messaging technology. To solve recurring problems in this design space, Microservice API Patterns (MAPs) have…

Software Engineering · Computer Science 2024-09-12 Justus Bogner , Pawel Wójcik , Olaf Zimmermann

This paper presents a new language called APSL for formally describing protocols to facilitate automated testing. Many real world communication protocols exchange messages whose structures are not trivial, e.g. they may consist of multiple…

Software Engineering · Computer Science 2018-04-12 Tom Tervoort , I. S. W. B. Prasetya

Microservices become a fast growing and popular architectural style based on service-oriented development. One of the major advantages using component-based approaches is to support reuse. In this paper, we present a study of microservices…

Software Engineering · Computer Science 2018-05-31 Reza M. Parizi

Modern web services routinely provide REST APIs for clients to access their functionality. These APIs present unique challenges and opportunities for automated testing, driving the recent development of many techniques and tools that…

Software Engineering · Computer Science 2022-09-08 Myeongsoo Kim , Qi Xin , Saurabh Sinha , Alessandro Orso

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 offer…

Software Engineering · Computer Science 2016-10-10 Manuel Mazzara , Ruslan Mustafin , Larisa Safina , Ivan Lanese

The microservice architectural style has gained much attention from both academia and industry recently as a novel way to design, develop, and deploy cloud-native applications. This concept encourages the decomposition of a monolith into…

Software Engineering · Computer Science 2022-03-15 Hai Dinh-Tuan , Maria Mora-Martinez , Felix Beierle , Sandro Rodriguez Garzon

Modern web services rely heavily on REST APIs, typically documented using the OpenAPI specification. The widespread adoption of this standard has resulted in the development of many black-box testing tools that generate tests based on…

Software Engineering · Computer Science 2025-04-07 Myeongsoo Kim , Saurabh Sinha , Alessandro Orso

Auto-scaling is an automated approach that dynamically provisions resources for microservices to accommodate fluctuating workloads. Despite the introduction of many sophisticated auto-scaling algorithms, evaluating auto-scalers remains…

Software Engineering · Computer Science 2025-04-14 Shuaiyu Xie , Jian Wang , Yang Luo , Yunqing Yong , Yuzhen Tan , Bing Li

Context. Service-oriented architecture and its microservice-based approach increase an attack surface of applications. Exposed microservices become a pivot point for advanced persistent threats and completely change the threat landscape.…

Cryptography and Security · Computer Science 2020-09-07 Alexander Barabanov , Denis Makrushin

Testing microservice systems involves a large amount of planning and problem-solving. The difficulty of testing microservice systems increases as the size and structure of such systems become more complex. To help the microservice community…

Software Engineering · Computer Science 2023-06-12 Sheldon Smith , Ethan Robinson , Timmy Frederiksen , Trae Stevens , Tomas Cerny , Miroslav Bures , Davide Taibi

RESTful APIs are central in developing interoperable, modular, and maintainable software systems in enterprises today. Also, it is essential to support system evolution, service interoperability, and governance across organizational…

Software Engineering · Computer Science 2025-11-25 Edwin Sundberg , Thea Ekmark , Workneh Yilma Ayele

Microservices based architectures are based on a set of modular, independent and fault-tolerant services. In recent years, the software engineering community presented studies investigating potential, recurrent, effective architectural…

Software Engineering · Computer Science 2019-09-10 Mohammad Imranur , Rahman , Sebastiano Panichella , Davide Taibi

We propose an approach to the definition of microservices with an Answer Set Programming (ASP) `core', where microservices are a successful abstraction for designing distributed applications as suites of independently deployable interacting…

Artificial Intelligence · Computer Science 2020-09-23 Stefania Costantini , Lorenzo De Lauretis

It is well recognized that design patterns improve system development and maintenance in many aspects. While we commonly recognize these patterns in monolithic systems, many patterns emerged for cloud computing, specifically microservices.…

Software Engineering · Computer Science 2022-05-23 Alexander Bakhtin , Abdullah Al Maruf , Tomas Cerny , Davide Taibi

We propose Sliceable Monolith, a new methodology for developing microservice architectures and perform their integration testing by leveraging most of the simplicity of a monolith: a single codebase and a local execution environment that…

Programming Languages · Computer Science 2021-07-20 Fabrizio Montesi , Marco Peressotti , Valentino Picotti

Microservices architectures are a departure from traditional Service Oriented Architecture (SOA). Influenced by Domain Driven Design (DDD), microservices architectures aim to help business analysts and enterprise architects develop scalable…

Software Engineering · Computer Science 2017-09-21 Dharmendra Shadija , Mo Rezai , Richard Hill

The rising popularity of the microservice architectural style has led to a growing demand for automated testing approaches tailored to these systems. EvoMaster is a state-of-the-art tool that uses Evolutionary Algorithms (EAs) to…

Software Engineering · Computer Science 2025-01-31 Clinton Cao , Annibale Panichella , Sicco Verwer

The microservice architecture allows developers to divide the core functionality of their software system into multiple smaller services. However, this architectural style also makes it harder for them to debug and assess whether the…

Software Engineering · Computer Science 2024-01-24 Clinton Cao , Simon Schneider , Nicolás E. Díaz Ferreyra , Sicco Verwer , Annibale Panichella , Riccardo Scandariato

As modern web services increasingly rely on REST APIs, their thorough testing has become crucial. Furthermore, the advent of REST API documentation languages, such as the OpenAPI Specification, has led to the emergence of many black-box…

Software Engineering · Computer Science 2025-01-23 Myeongsoo Kim , Tyler Stennett , Saurabh Sinha , Alessandro Orso