Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Wed 15 Jul 2020 16:10 - 16:20 at AST - Live Session 3 Chair(s): Hong Zhu

Among distributed applications, the actor model is increasingly prevalent. This programming model organises applications into fully-isolated processes that communicate through asynchronous messaging. Supported by frameworks such as Akka and Orleans, it is believed to facilitate realising responsive, elastic and resilient distributed applications.

While these frameworks do provide abstractions for implementing resilience, it remains up to developers to use them correctly and to test that their implementation recovers from anticipated failures. As manually exploring the reaction to every possible failure scenario is infeasible, there is a need for automated means of testing the resilience of a distributed application.

We present the first automated approach to testing the resilience of actor programs. Our approach perturbs the execution of existing test cases and leverages delta debugging to explore all failure scenarios more efficiently. Moreover, we present a further optimisation that uses causality to prune away redundant perturbations and speed up the exploration. However, its effectiveness is sensitive to the program’s organisation and the actual location of the fault. Our experimental evaluation shows that our approach can speed up resilience testing by four times compared to random exploration.

Wed 15 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

16:00 - 17:00: AST 2020 - Live Session 3 at AST
Chair(s): Hong ZhuOxford Brookes University
ast-2020-papers16:00 - 16:10
Research paper
Tanapuch WanwarangCISPA Helmholtz Center for Information Security, Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Leon BettscheiderCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
ast-2020-papers16:10 - 16:20
Research paper
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel, Dario Di NucciTilburg University, Coen De RooverVrije Universiteit Brussel
ast-2020-papers16:20 - 16:30
Thierry Titcheu ChekamUniversity of Luxembourg (SnT), Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg
File Attached
ast-2020-papers16:30 - 16:40
Industry talk
Darryl JarmanAdobe, Scott HuntAdobe, Jeffrey BerryAdobe, Inc., Dave ToweyUniversity of Nottingham Ningbo China
ast-2020-papers16:40 - 16:50
Industry talk
Chang-Seo ParkGoogle LLC
ast-2020-papers16:50 - 17:00
Industry talk
Jonny MoonAdobe, Inc., Brian FarnsworthAdobe, Inc., Riley SmithAdobe, Inc.