NEW: Fast abstracts enjoy a new format this year! Emphasis is put on the interaction with the audience, after a crisp introduction to a key topic and the presenter's expert perspectives on it.

FA 1 : Reliability, Testing and Debugging

Session chair: Domenico Cotroneo

• SIRIUS: Systematic Investigation for Reliability Improvement Upon Software, Samjoon Park, Taehyoun Kim, Taeho Lee, Sungkyu Noh
• Testing Proportional-Integral-Derivative (PID) Controller with Metamorphic Testing, Kun Qiu, Zheng Zheng, Tsong Yueh Chen
• Identifying Failed Test Cases through Metamorphic Testing, Zhan-Wei Hui, Song Huang, Tsong Yueh Chen, Man Fai Lau, Sebastian Ng
• The Future of Automated Debugging – Focus on the Niches first, Franz Wotawa

FA 2 : Safety and Security

Session chair: Domenico Cotroneo

• Digital systems: nuclear safety assurance challenges, Sushil Birla
• Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones, Amin Majd, Elena Troubitsyna
• MASSE: Modular Automated Syntactic Signature Extraction, Fabrizio Biondi, Axel Legay, Francois Dechelle
• Why Securing your Code Architecture - Detection of architectural vulnerabilities in Industrial products, Isabelle Michard