Opening and Welcome
Keynote: Model-based Network Fault Injection for IoT Protocols
Invited Keynote by Cyrille Artho, PhD, Assoc. Prof. , KTH Royal Institute of Technology in Stockholm, Sweden
Paper: Improve Counterexample Quality for Failed Program Verification
Li Huang, Bertrand Meyer and Manuel Oriol
Coffee break
Paper: Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction
Bahareh Afshinpour, Roland Groz and Massih-Reza Amini
Keynote: Explainable Vulnerabilities Descriptions with NIST BF
Invited Keynote by Irena Bojanova, National Institute of Standards and Technology
Coffee break
Paper: Improving Flexibility in Embedded System Runtime Verification with Python
Wanjin Zhou, Feifei Hu and Junyan Ma
Closing