Fast Abstracts

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 ComponentsZuohua 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