Note: more information could be found on the CFP-Fast Abstracts.

Session 1: Reliability, Testing and Security

Tuesday, October 16, 2:00PM - 3:30PM

Chair: Artur Andrzejak

• Evaluation and Construction of Covering Arrays Utilizing Prior Information. Ryan Lekivetz and Joseph Morgan
• Predicting Software Defects based on Cognitive Error Theories. Fuqun Huang and Lorenzo Strigini​
• Software Reliability Evaluation Method Based on a Software Network. Jun Ai, Wenzhu Su and Fei Wang​
• Probing the Security of DNA Origami. Chase Koehler, Divita Mathur, Eric Henderson and Robyn Lutz
• ORCAS: Efficient Resilience Benchmarking of Microservice Architectures. André van Hoorn, Aldeida Aleti, Thomas F. Düllmann and Teerat Pitakrat​

Session 2: Services and Cloud Systems

Wednesday, October 17, 4:00PM - 5:30PM

Chair: Roberto Natella

• Model Checking The Uncertainties in Software Systems Introduced by Intelligent Components. Zuohua Ding, Wenjie Jiang, Mingyue Jiang, Zhi Jin and He Jiang
• Enhancing the Analysis of Error Propagation and Failure Modes in Cloud Systems. Domenico Cotroneo, Luigi De Simone, Alfonso Di Martino, Pietro Liguori and Roberto Natella
• An Adaptive PID Control for QoS Management in Cloud Computing System. Siqian Gong, Beibei Yin and Kaiyuan Cai
• Model Fusion: Weighted N-Version Programming for Resilient Autonomous Vehicle Steering Control. Ailec Wu, Homa Alemzadeh, Abu Hasnat Mohammad Rubaiyat and Chris Anton
• Dynamic Random Testing Strategy for Test Case Optimization in Cloud Environment. Hanyu Pei, Beibei Yin and Min Xie