Fast Abstracts

 

Session 1: System Security and Reliability

LegoAI: Towards Building Reliable AI Software for Real-world Applications
Mengyuan Hou (Fudan University) and Hui Xu (Fudan University)

LogVM: Variable Semantics Miner for Log Messages
Yintong Huo (The Chinese University of Hong Kong), Yuxin Su (Sun Yat-sen University) and Michael Lyu (The Chinese University of Hong Kong)

DNA-based Secret Sharing and Hiding in Dispersed Computing
Marek Ogiela (AGH University of Science and Technology) and Urszula Ogiela (AGH University of Science and Technology)

Towards Continuous and Data-driven Specification and Verification of Resilience Scenarios
Sebastian Frank (University of Hamburg / University of Stuttgart), Alireza Hakamian (University of Stuttgart), Lion Wagner (University of Stuttgart), Joakim von Kistowski (DATEV eG) and André van Hoorn (University of Hamburg)

Session 2: Testing and Fuzzing

Towards Effective Performance Fuzzing
Yiqun Chen (Lancaster University), Matthew Bradbury (Lancaster University) and Neeraj Suri (Lancaster University)

A Disjoint-Partitioning Approach to Enhancing Metamorphic Testing of DBMS
Matthew Siu-Hin Tang (The University of Hong Kong), T.H. Tse (The University of Hong Kong) and Zhi Quan Zhou (University of Wollongong, Australia, and Alibaba and Ant Group, China)

Improving Fuzzing Coverage with Execution Path Length Selection
Wenxi Zhang (Waseda University), Kazunori Sakamoto (Waseda University), Hironori Washizaki (Waseda University) and Yoshiaki Fukazawa (Waseda University)

RunPHI: Enabling Mixed-criticality Containers via Partitioning Hypervisors in Industry 4.0
Marco Barletta (Università degli Studi di Napoli Federico II), Marcello Cinque (Università degli Studi di Napoli Federico II), Luigi De Simone (Università degli Studi di Napoli Federico II), Raffaele Della Corte (Università degli Studi di Napoli Federico II), Giorgio Farina (Università degli Studi di Napoli Federico II) and Daniele Ottaviano (Università degli Studi di Napoli Federico II)