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: Live Session 3AST at AST
Chair(s): Hong ZhuOxford Brookes University
16:00 - 16:10
Research paper
Testing Apps With Real World Inputs
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
16:10 - 16:20
Research paper
A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel, Dario Di NucciTilburg University, Coen De RooverVrije Universiteit Brussel
16:20 - 16:30
Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework
Thierry Titcheu ChekamUniversity of Luxembourg (SnT), Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg
File Attached
16:30 - 16:40
Industry talk
Difference Grouping and Test Suite Evaluation: Lessons from Automated Differential Testing for Adobe Analytics
Darryl JarmanAdobe, Scott HuntAdobe, Jeffrey BerryAdobe, Inc., Dave ToweyUniversity of Nottingham Ningbo China
16:40 - 16:50
Industry talk
Automatic Prevention of Accidents in Production
Chang-Seo ParkGoogle LLC
16:50 - 17:00
Industry talk
The Effectiveness of Client-side JavaScript Testing
Jonny MoonAdobe, Inc., Brian FarnsworthAdobe, Inc., Riley SmithAdobe, Inc.