Oct 25 - 28, 2021
WorkShops
WoSAR 2021 Workshop (Online - Mon Oct 25, 13:00-18:00 UTC)
Notice: UTC: Coordinated Universal Time
Opening (Mon Oct 25, 12:50-13:00 UTC)
Rivalino Matias and Jianwen Xiang (General Co-Chairs)
Alberto Avritzer and Xiaoyuan Xie (Program Co-Chairs)
Session 1: Software Aging and Rejuvenation based on Machine Learning (Mon Oct 25, 13:00-14:00 UTC, Session Chair: Kishor Trivedi)
Keynote Talk + Q&A :
(13:00-13:40): Developing Optimal Software Rejuvenation Strategies based on Machine Learning Techniques
Kalyan Vaidyanathan (BAE Systems Inc.)
Live Research Paper:
(13:40-14:00): Within-Project Software Aging Defect Prediction Based on Active Learning
Mengting Liang (Wuhan University Of Technology), Dimeng Li (Wuhan University Of Technology), Bin Xu (Wuhan University Of Technology), Dongdong Zhao (Wuhan University Of Technology), Xiao Yu (Wuhan University Of Technology) and Jianwen Xiang (Wuhan University Of Technology)
Session 2: Software Rejuvenation Models (Mon Oct 25, 14:00-15:00 UTC, Session Chair: Enrico Vicario)
Keynote Talk + Q&A :
(14:00-14:40): Software Rejuvenation for Secure and Safe Control of Cyber-Physical Systems
Raffaele Romagnoli (Carnegie Mellon University)
Live Research Paper:
(14:40-15:00): Sensitivity analysis of software rejuvenation model with Markov regenerative process
Junjun Zheng (Ritsumeikan University), Hiroyuki Okamura (Hiroshima University) and Tadashi Dohi (Hiroshima University)
Session 3: Software Aging Models (Mon Oct 25, 15:00-16:40 UTC, Session Chair: Artur Andrzejak)
Live Research Paper:
(15:00-15:20): Aging and Rejuvenation Models of Load Changing Attacks in Micro-Grids
Ricardo M. Czekster (Newcastle University), Alberto Avritzer (eSulabSolutions) and Daniel Sadoc Menasché (Institute of Computing UFRJ)
(15:20-15:40): Evaluation of software aging in component-based Web Applications subject to soft errors over time
Jacopo Parri (University of Florence), Samuel Sampietro (University of Florence) Leonardo Scommega (University of Florence) and Enrico Vicario (University of Florence)
(15:40-16:00): Memory Degradation Analysis in Private and Public Cloud Environments
Ermeson Andrade (Universidade Federal Rural de Pernambuco), Fumio Machida (University of Tsukuba), Roberto Pietrantuono (University of Naples Federico II) and Domenico Cotroneo (University of Naples Federico II)
(16:00-16:20): My Services Got Old! Can Kubernetes Handle the Aging of Microservices?
José Flora (University of Coimbra), Paulo Gonçalves (University of Coimbra), Miguel Teixera (University of Coimbra) and Nuno Antunes (University of Coimbra)
(16:20-16:40): Software Testing Strategies for Detecting Hypercall Handlers' Aging-related Bugs
Lukas Bierlieb (University of Würzburg), Lukas Iffläender (University of Würzburg), Alexander Milenkoski (Cybereason), Alberto Avritzer (eSulab Solutions), Nuno Antunes (University of Coimbra) and Samuel Kounev (University of Würzburg)
Closing Remarks (Mon Oct 25, 16:40-17:40 UTC, Session Chair: Jianwen Xiang)
(16:40-17:10: Wrap (feedback, discuss plans for next year) - All Invited
(17:10-17:40): WoSAR Live Social Banquet - All Invited
WoSoCer 2021 Workshop (Online - Mon Oct 25, 13:00-17:30 UTC)
Notice: UTC: Coordinated Universal Time
Opening (Mon Oct 25, 13:00 - 13:10 UTC, Session Chair: Luigi De Simone)
Session 1: Keynote (Mon Oct 25, 13:10 - 14:15 UTC, Session Chair: Luigi De Simone)
Keynote Talk: Software certification: Lessons Learned from the Development of a Mechanical Ventilator for COVID-19
Patrizio Pelliccione (Computer Science at Gran Sasso Science Institute (GSSI))
Session 2: Machine Learning and Security Certification (Mon Oct 25, 14:30 - 15:30 UTC, Session Chair: Fuqun Huang)
(WiP) LLTFI: Low-Level Tensor Fault Injector
Abraham Chan (The University of British Columbia), Udit Kumar Agarwal (The University of British Columbia), Karthik Pattabiraman (The University of British Columbia)
An Efficient Dual Ensemble Software Defect Prediction Method with Neural Network
Jinfu Chen (Jiangsu University), Jiaping Xu (Jiangsu University), Saihua Cai (Jiangsu University), Xiaoli Wang (Jiangsu University) and Yuechao Gu (Jiangsu University), Shuhui Wang (Jiangsu University)
From Application Security Verification Standard (ASVS) to Regulation Compliance: A Case Study in Financial Services Sector
Vincent Tan (Singapore University of Technology and Design), Carmen Cheh (Singapore University of Technology and Design), Binbin Chen (Singapore University of Technology and Design)
Session 3: Design Models, Test Cases, Software Requirements (Mon Oct 25, 15:45 - 16:45 UTC, Session Chair: Pietro Liguori)
Recommendations for the Usage of Design Models in Aviation Software
André Sarkis (Aeronautics Institute of Technology), Johnny Marques (Aeronautics Institute of Technology), Luiz Alberto Vieira Dias (Aeronautics Institute of Technology)
Software Requirement Criteria Based on Human Errors
Fuqun Huang (Institute of Interdisciplinary Scientists)
A Test Case Generation Method of Combinatorial Testing based on τ-way Testing with Adaptive Random Testing
Jinfu Chen (Jiangsu University), Jingyi Chen (Jiangsu University), Saihua Cai (Jiangsu University), Haibo Chen (Jiangsu University), Chi Zhang (Jiangsu University), Chuangfei Huang (Jiangsu University)
Closing Remarks + Discussion (Mon Oct 25, 16:45 - 17:30 UTC, Session Chair: Luigi De Simone)
RSDA 2021 Workshop (Online - Mon Oct 25, 13:00-16:45 UTC)
Notice: UTC: Coordinated Universal Time
Session 1: Opening and Keynote #1 (Mon Oct 25, 13:00 - 14:15 UTC, Session Chair: Raffaele Della Corte)
Welcome and Opening
Raffaele Della Corte, Marta Catillo, João F. Ferreira and Guanpeng (Justin) Li
Keynote Talk: Failure Data Everywhere, but Not a Failure in Sight! The joys and frustrations of analyzing open data sources
Karthik Pattabiraman (University of British Columbia)
Session 2: Machine Learning and Dependability Analysis (Mon Oct 25, 14:30 - 15:30 UTC, Session Chair: Marcello Cinque)
Semi-automated model extraction from observations for dependability analysis
András Földvári (Budapest University of Technology and Economics), András Pataricza (Budapest University of Technology and Economics)
Invited Talk: Attacks on Ethereum: analyzing 10M blocks
Antonio Iannillo (University of Luxembourg)
Invited Talk: ML-based Network Security Applications for High-Speed Networks
Nuno Santos (INESC-ID)
Session 3: Keynote #2 and Closing (Mon Oct 25, 15:45 - 16:45 UTC, Session Chair: Marta Catillo)
Keynote Talk: The Need for Security Automation
Massimiliano Rak (University of Campania Luigi Vanvitelli)
Closing Remarks
Raffaele Della Corte, Marta Catillo, João F. Ferreira and Guanpeng (Justin)
SHIFT 2021 and IWSF 2021 Workshops (Online - Mon Oct 25, 13:00-16:30 UTC)
Notice: UTC: Coordinated Universal Time
Opening and Welcome (Mon Oct 25, 13:00 – 13:10 UTC, Session Chair: Alf Larsson)
Keynote (Mon Oct 25, 13:10 – 13:45 UTC, Session Chair: Alf Larsson)
Strong type systems, weak defenses? – The problem with function parameters and implicit conversions
Zoltan Porkoláb (Eötvös Loránd University)
Presentation：(Mon Oct 25, 13:50 – 14:50 UTC, Session Chair: Raphael Khoury)
KS-TCP: An Efficient Test Case Prioritization Approach based on K-medoids and Similarity
Jinfu Chen (Jiangsu University), Yuechao Gu (Jiangsu University), Saihua Cai (Jiangsu University), Haibo Chen (Jiangsu University), Jingyi Chen (Jiangsu University)) and Haiyi Liu (Jiangsu University, China)
Input/Output Check Bugs Taxonomy – Injection in Spotlight
Irena Bojanova (NIST), Carlos Eduardo Galhardo (National Institute of Metrology Standardization and Industrial Quality) and Sara Moshtari (Rochester Institute of Technology)
Keynote (Mon Oct 25, 14:50 – 15:25 UTC, Session Chair: Oum-El-Kheir Aktouf )
Constrained IoT Devices: A global approach (hardware/software) to secure embedded applications
David Hely (The Grenoble Institute of Technology)
Panel discussion (Mon Oct 25, 15:45 – 16:15 UTC, Session Chair: Emilia Cioroaica)
Closing (Mon Oct 25, 16:15 – 16:30 UTC, Session Chair: Emilia Cioroaica)
GAUSS 2021 Workshop (Online - Mon Oct 25, 13:00-16:10 UTC)
Notice: UTC: Coordinated Universal Time
Welcome Message (Mon Oct 25, 13:10-13:15 UTC)
Keynote (Mon Oct 25, 13:15-14:15 UTC, Session Chair: Daniela Briola)
Modeling Governance and Management in Socio-Technical SoSs
Jakob Axelsson (Mälardalen University)
Presentation (Mon Oct 25, 14:30-16:05 UTC, Session Chair: Pietro Braione, Giovanni Quattrocchi)
Genetic Algorithm for Scheduling Communication Networks in Time-Triggered Systems-of-Systems
Setareh Majidi (University of Siegen), Roman Obermaisser (University of Siegen)
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization
Gianluca Filippone (University of L'Aquila), Marco Autili (University of L'Aquila), Fabrizio Rossi (University of L'Aquila), Massimo Tivoli (University of L'Aquila)
Automatic Extraction of Behavioral Features for Test Program Similarity Analysis
Emanuele De Angelis (IASI–CNR), Alessandro Pellegrini (IASI–CNR), Maurizio Proietti (IASI–CNR)
IDEA: Runtime Collection of Android Data
Luciano Baresi (Politecnico di Milano, Italy) and Kostandin Caushi (Politecnico di Milano, Italy)
Closing (Mon Oct 25, 16:05-16:10 UTC)
MS-AIOps 2021 Workshop (OnSite - Wed Oct 27, 14:00-17:30 CST)
Notice: CST: China Standard Time
Invited Talk (Wed Oct 27, 14:00-17:30 CST, Session Chair: Xin Peng)
The Observability and Active Operation of Cloud Native Systems
Pengfei Chen (Sun Yat-sen University)
LogPAI and More: An Automated Log Analysis Framework
Pinjia He (The Chinese University of Hong Kong)
Testing and Chaos Engineering for Microservice systems
Guoquan Wu (University of Chinese Academy of Sciences)
Failure Detection, Diagnosis, and Prediction for Large-Scale Cloud
Shenglin Zhang (Nankai University)
Towards More Reliable Cloud - Fault Detection, Diagnosis, and Prediction
Yu Kang (Microsoft Research Asia)
Panel: Towards More Reliable Cloud - Fault Detection, Diagnosis, and Prediction
Panelist: Pengfei Chen (Sun Yat-sen University), Pinjia He (The Chinese University of Hong Kong), Guoquan Wu (University of Chinese Academy of Sciences), Shenglin Zhang (Nankai University), Yu Kang (Microsoft Research Asia)
RADAS 2021 Workshop (OnSite - Mon Oct 25, 9:00-12:30 CST)
Notice: CST: China Standard Time
Opening (Mon Oct 25, 8:40 - 9:00 CST, Session Chair: Yinxing Xue)
Session 1: Keynote (Mon Oct 25, 9:00 - 10:00 CST, Session Chair: Yinxing Xue)
Towards Secure and Robust AI Stack in Autonomous Driving
Qi Alfred Chen (The University of California, Irvine)
Session 2: Invited Talk (Mon Oct 25, 10:00 - 11:00 CST, Session Chair: Yinxing Xue)
Deeptest in Autonomous Driving
Baishakhi Ray (Associate Professor in Columbia University)
Security Investigation of ROS-based Systems and Applications
Tianwei Zhang (Nanyang Technological University)
Session 3: All in One (Mon Oct 25, 11:00 - 12:00 CST, Session Chair: Yinxing Xue)
MC-FGSM: Black-box Adversarial Attack for Deep Learning System
Wenqiang Zheng (Tsinghua university), Yan-Fu Li (Tsinghua university)
Issue Categorization and Analysis of an Open-Source Driving Assistant System
Shuncheng Tang (University of Science and Technology of China), Zhenya Zhang (Kyushu University), Jia Tang (University of Science and Technology of China), Lei Ma (University of Alberta), Yinxing Xue (University of Science and Technology of China)
Semantic Learning and Understanding of multi-vehicle interaction patterns Using Primitive Driving Patterns With Bayesian Nonparametric Approaches
Lulu Jia (Beihang University), Dezhen Yang (Beihang University), Yi Ren (Beihang University), Cheng Qian (Beihang University), Zhifeng Li (Beihang University)
Closing Remarks (Mon Oct 25, 12:00 - 12:10 CST, Session Chair: Yinxing Xue)
RESS 2021 Workshop ( OnSite-Mon Oct 25, 9:00-12:30 CST)
Notice: CST: China Standard Time
Opening (Mon Oct 25, 8:30 - 8:40 CST)
Keynote (Mon Oct 25, 8:40 - 9:30 CST, Session Chair: Junjie Chen)
Robustness and Interpretability Driven Dependable Machine Learning
Michael R. Lyu (Chinese University of Hong Kong)
Paper Presentation (Mon Oct 25, 9:30- 10:50 CST, Session Chair: Junjie Chen)
Safe and Secure: Mutually Supporting Safety and Security Analyses with Model-Based Suggestions
Bastian Kruck (itemis AG), Peter Munk (Robert Bosch GmbH), Daniel Angermeier (Fraunhofer Institute for Applied and Integrated Security)
`R: Towards Detecting and Understanding Code-Document Violations in Rust
Wanrong Ouyang (University of Science and Technology of China), Baojian Hua (University of Science and Technology of China)
A Combinatorial Reliability Analysis of Dynamic Fault Trees with Priority-AND Gates
Piaoyi Liu (Wuhan University of Technology), Siwei Zhou (Wuhan University of Technology), Luyao Ye (Wuhan University of Technology), Dongdong Zhao (Wuhan University of Technology), Jianwen Xiang (Wuhan University of Technology)
Invited Talk (Mon Oct 25, 10:50 - 12:20 CST, Session Chair: Dan Hao)
Synthesizing Test Inputs
Yanyan Jiang (Nanjing University)
Dynamic Algorithms for Interactive Program Analysis
Qirun Zhang (Georgia Institute of Technology)
Testing of DNN Models - Challenges Ahead
Shin Yoo (Korea Advanced Institute of Science and Technology)
WDMD 2021 Workshop (OnSite - Mon Oct 25, 8:30-17:30 CST)
Notice: CST: China Standard Time
Opening (Mon Oct 25, 8:30-8:40 CST, Session Chair: Chengqiang Huang)
Keynote (Mon Oct 25, 8:40-11:10 CST, Session Chair: Chengqiang Huang)
Bugs with "intelligence" and intelligence with bugs
Zheng Zheng (Beihang University)
Safety: the first class concern on the dependability of autonomous systems
Zhi Jin (Peking University)
Advancing the State-of-the-Art of GUI Fuzzing for Mobile Apps
Ting Su (East China Normal University)
Pannel (Mon Oct 25, 11:10-12:10 CST, Session Chair: Ting Su)
Keynote (Mon Oct 25, 14:00-15:20 CST, Session chair: Chengqiang Huang)
Data-Driven Software Dependability Modeling
Michael R. Lyu (The Chinese University of Hong Kong)
Dependability Modeling and Design: Challenges and Work Directions
Joseph Sifakis (Verimag Laboratory)
Presentation (Mon Oct 25, 15:40-17:20 CST, Session Chair: Yang Zheng)
Computation Offloading and Task Scheduling with Fault-Tolerance for Minimizing Redundancy in Edge Computing
Xinying Liu (Tongji University), Jianhui Jiang (Tongji University) and Long Li (Huawei Technologies Co., Ltd.)
Reliability Analysis of Systems Subject to Imperfect Fault Coverage Considering Failure Propagation and Component Relevancy
Chuanli Wu (Wuhan University of Technology), Zixiang Wang (Wuhan University of Technology), Siwei Zhou (Wuhan University of Technology), Dongdong Zhao (Wuhan University of Technology), Jing Tian (Wuhan University of Technology) and Jianwen Xiang (Wuhan University of Technology)
Methods for deep learning model failure detection and model adaption: A survey
Xiaoyu Wu (Huawei Technology Co.), Zheng Hu (Huawei Technology Co.), Ke Pei (Huawei Technology Co.), Liyan Song (Southern University of Science and Technology), Zhi Cao (Southern University of Science and Technology) and Shuyi Zhang (Southern University of Science and Technology)
Predicting gray fault based on context graph in container-based cloud
Siyu Yu (Guangxi University), Ningjiang Chen (Guangxi University) and Birui Liang (Guangxi University)
MindFI: A Fault Injection Tool for Reliability Assessment of MindSpore Applications
Yang Zheng (Huawei technologies co. ltd), Zhenye Feng (Huawei technologies co. ltd), Zheng Hu (Huawei technologies co. ltd) and Ke Pei (Huawei)
Closing (Mon Oct 25, 17:20-17:30 CST, Session Chair: Yang Zheng)
SSSML 2021 Workshop (OnSite - Mon Oct 25, 14:00-16:30 CST)
Notice: CST: China Standard Time
Presentation (Mon Oct 25, 14:00-16:30 CST, Session Chair: Fei Chen)
On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning
Lydia Gauerhof (Robert Bosch GmbH), Roman Gansch (Robert Bosch GmbH), Christian Heinzemann (Robert Bosch GmbH), Matthias Woehrle (Robert Bosch GmbH) and Andreas Heyl (Robert Bosch GmbH)
Important-unit Coverage for Recurrent Neural Network
Xu Liu (Beijing Jiaotong University), Honghui Li (Beijing Jiaotong University), Rui Wang (Beijing Jiaotong University) and Zhouxian Jiang (Beijing Jiaotong University)
Multi-Scale Software Network Model for Software Safety of the Intended Functionality
Zhitao Wu (China Electronic Product Reliability and Environment Testing Research Institute), Xiaoming Yang (China Electronic Product Reliability and Environment Testing Research Institute), Ping Chen (China Electronic Product Reliability and Environment Testing Research Institute), Zongshun Qu (China Electronic Product Reliability and Environment Testing Research Institute) and Jun Lin (China Electronic Product Reliability and Environment Testing Research Institute)
Network Intrusion Detection by an Approximate Logic Neural Model
Jiajun Zhao (Shenzhen University), Dongguan (University of Technology), Yi Chen (Shenzhen University), Cheng Tang (University of Toyama), Jinzhi Xiong (Dongguan University of Technology), Qiuzhen Lin (Shenzhen University) and Junkai Ji (Shenzhen University)
Meaningful color image encryption algorithm based on compressive sensing and chaotic map
Min Liu (Guangdong Ocean University), Guodong Ye (Guangdong Ocean University) and Qiuzhen Lin (Shenzhen University)
Detection of IoT Devices That Mine Cryptocurrency
Wei Zheng (Shenzhen University), Liangbo Hou (Huazhong University of Science and Technology), Junming Yu (Shenzhen University) and Fei Chen (Shenzhen University)
