Opening
Workshop Chairs
16:00 – 16:15
Case Study: Adaptive Test Automation for Testing an Adaptive Hadoop Resource Manager
Benedikt Eberhardinger, Hella Ponsar, Gerald Siegert and Wolfgang Reif
Institute for Software and Systems Engineering
University of Augsburg
Germany
16.15 – 16.30
An Approach for Detecting Critical Adaptations in Automated Adaptive Software Systems
Shuji Morisaki
Department of Computing and Software Systems
Graduate School of Informatics,
Nagoya University
Japan
and
Norimitsu Kasai
Quality Assurance Department
Communication Systems Center
Mitsubishi Electric
Amgasaki, Hyogo
Japan
16.30 – 16.45
Influence Maximization Algorithms Research Based on Big Graphs
Chuanchuan You
School of Computer Science, Wuhan University,
Wuhan, China
and
Guangquiang Zhang
Institute of Automation, Chinese Academy of Sciences, Beijing, China
16.45 – 17.00
Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration
Sara Zatout, Maya Souilah Benabdelhafid and Mahmoud Boufaida
LIRE Labaratory
Constatnine II Universtity
Algeria
17.00 – 17.15
Adaptive System for Autonomous Driving
Franz Wotawa and Martin Zimmermann
Institute for Software Technology
Graz University of Technology
Austria
17.15 – 17.50
Keynote: Test execution infrastructure for IoT quality analysis
Axel Rennoch,
Fraunhofer Institute for Open Communication Systems FOKUS,
Berlin,
Germany
17.50 – 18.00
Summary & Discussion
Workshop Chairs