Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Mon 12 Jul 2021 11:10 - 11:30 at VORTEX - Morning session Chair(s): Davide Ancona

Many software bugs have disruptive consequences, both in financial terms and in loss of life. Software Testing is one widely used approach to detect software bugs and ensure software quality but the testing activity, conducted either manually or using testing frameworks, is repetitive and expensive. Runtime Monitoring, differently from Software Testing, does not require test cases to be designed and executed and – once the property to be monitored has been specified – it does not rely on human beings performing any further actions, unless a violation is detected. However the property to be monitored, that must feed the monitor along with the trace or stream of observed events, may be very hard to identify and specify. In this extended abstract we present the Test’n’Mo vision which goes in the direction of exploiting Artificial intelligence and Machine Learning as enabling techniques for a hybrid platform for Software Testing and Runtime Monitoring. In Test’n’Mo, human testers and software agents of different kinds – ‘Learning Agents’ and ‘Runtime Monitoring and Testing Agents’ – collaborate to achieve their common testing goal. Although Test’n’Mo is meant to address User Interface testing of web/mobile apps, the Test’n’Mo approach may be adapted to other software testing activities.

Slides (Mascardi.pdf)508KiB

Mon 12 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

10:30 - 11:50
Morning sessionVORTEX at VORTEX
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
10:30
40m
Keynote
Increasing Confidence in Autonomous Systems
VORTEX
I: Michael Fisher University of Manchester, UK
File Attached
11:10
20m
Talk
Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
VORTEX
Filippo Ricca DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy, Alessandro Verri
File Attached
11:30
20m
Talk
RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
VORTEX
Angelo Ferrando DIBRIS, Università di Genova, Rafael C. Cardoso
File Attached