Fast Abstracts Program

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