Session 1: Fast Abstracts - Part 1 (Wed Oct 30, 13:00-15:00)

13:00 – 14:00:

Keynote

Speaker: Hélène Waeselynck, LAAS-CNRS, FR

Title: Testing an agriculture robot in virtual crop fields

Abstract: Testing autonomous robots typically requires expensive test campaigns in the field. To alleviate them, a promising approach is to perform intensive tests in virtual environments. In this talk, I will present an industrial case study on the feasibility and effectiveness of such an approach. The subject system is Oz, an agriculture robot for autonomous weeding developed by Naïo Technologies. Its software was tested with weeding missions in virtual crop fields, using a 3D simulator. The case study faced several challenges: the randomized generation of complex 3D environments, the automated checking of the robot behavior (test oracle), and the imperfect fidelity of the simulation with respect to real-world behavior. I will describe the test approach we developed, as well as some comparison results with the industrial field tests.

14:00 – 14:20:

ISSRE Cares: How the Software Reliability Engineering Community Can Give Back to Society

Jane Huffman Hayes and Tingting Yu

14:20 – 14:40:

On the Use of API Calls to Detect Repackaged Malware Apps: Challenges and Ideas

Kobra Khanmohammadi, Raphaël Khoury and Abdelwahab Hamou-Lhadj

14:40 – 15:00:

Quantification of the Impact of Random Hardware Faults on Safety-critical AI Applications: CNN-based Traffic Sign Recognition Case Study

Michael Beyer, Andrey Morozov, Kai Ding, Sheng Ding and Klaus Janschek

Session 2: Fast Abstracts - Part 2 (Wed Oct 30, 15:30-17:30)

15:30 – 15:50:

A Clone Code Detection Method Based on Software Complex Network

Haoran Guo, Jun Ai and Tao Shi

15:50 – 16:10:

Advancing Monitoring in Microservices Systems

Marcello Cinque, Raffaele Della Corte and Antonio Pecchia

16:10 – 16:30:

A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN

Hideharu Kojima and Naoto Yanai

16:30 – 16:50:

Security Assessment of Trustzone-M based Software

Antonio Ken Iannillo and Radu State

16:50 – 17:30

Interactive Panel