Oct 28 - 31, 2019
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