Accepted Contributions

The program committee accepted the following contributions:

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

Adaptive System for Autonomous Driving

Franz Wotawa and Martin Zimmermann
Institute for Software Technology
Graz University of Technology
Austria

Test Suite Generation for Software Reliability Testing Based on Hybrid Musa and Markov Method

Jian-Yong Fang, Jiang Ting Ting, Sun Zhi-Guang, Li Yin
Software Testing Center
Jiangsu Automation Research Institute of CSIC,
Lianyungang
China

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

An Automated Test Suite Generating Approach for Stateful Web Services

Zhi-An Sun and Zhi-Guang Sun
Software Testing Center
Jiangsu Automation Research Institute of CSIC
Lianyuangang
China

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