We give an introduction to the LBTest tool which implements learning-based testing for
reactive systems. It makes use of incremental learning and model checking algorithms to …

Traditional development methodologies that separate software design from application
deployment have been replaced by approaches such as continuous delivery or DevOps …

We investigate the problem of modeling the optimal and automatic deployment of cloud
applications. We follow an approach based on three main pillars:(i) the specification of the …

Abstract Service-Oriented Architecture (SOA) is a technology for designing software
systems. By using this architecture, new challenges appeared for software testing …

In this tutorial we focus on the Abstract Behavioral Modeling (ABS) language, a highly
modular, executable modeling language for concurrent systems. We show how three …

In this paper, we introduce a formal model of the availability, budget compliance and
sustainability of istributed services, where service sustainability is a new concept which …

As a methodology for system design and testing, use cases are well-known and widely
used. While current active machine learning (ML) algorithms can effectively automate unit …

The paper presents the development and application of the VUML Probe profile, an
extension of the VUML (View-based UML) approach to modeling complex software systems …

We compare conformance checking based on symbolic execution to conformance checking
via bounded model checking. The application context is fault-based test case generation …

Abstract Design by contract is a software development methodology that uses contracts for
defining interfaces among interacting components of a software system. Graph …