57 citations · 150 across the 10 of their papers we have counts for
3 papers · 1 filter
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components
Luca Aceto, Duncan Paul Attard, Adrian Francalanza +1
The runtime analysis of decentralised software requires instrumentation methods that are scalable, but also minimally invasive. This paper presents a new algorithm that instruments…
Model-based Testing of Mobile Systems -- An Empirical Study on QuizUp Android App
Vignir Gudmundsson, Mikael Lindvall, Luca Aceto +2
We present an empirical study in which model-based testing (MBT) was applied to a mobile system: the Android client of QuizUp, the largest mobile trivia game in the world. The stud…
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
Luca Aceto, Matteo Cimini, Anna Ingolfsdottir +3
In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide the formal semantics…