Opening

AST Introduction presentation

Keynote 1
Chair: Xiaoying Bai

Keynote

Software Testing as a Problem of Machine Learning: Towards a Foundation on Computational Learning Theory

Hong Zhu

Oxford Brookes University

Test Models
Chair: Xiaoying Bai

Full

An automated model-based test oracle for access control systems

Antonia Bertolino, Said Daoudagh, Francesca Lonetti and Eda Marchetti

ISTI-CNR

Full

Testing Service Oriented Architectures Using Stateful Service Virtualization Via Machine Learning

Hasan Ferit Enişer and Alper Sen

Bogazici University

Short

Revisiting AI and Testing Methods to Infer FSM Models of Black-Box Systems

Roland Groz, Adenilso Simao, Nicolas Bremond and Catherine Oriat

Univ. Grenoble Alpes - Grenoble INP - LIG; Universidade de Sao Paulo, ICMC

Mobile App Testing
Chair: Shing-Chi Cheung

Full

Planning-based Testing of Web Applications

Josip Bozic and Franz Wotawa

Graz University of Technology

Full

Sentinel: Generating GUI Tests for Android Sensor Leaks

Haowei Wu, Yan Wang and Atanas Rountev

The Ohio State University

Short

On the Effectiveness of Random Testing for Android or How I Learned to Stop Worrying and Love the Monkey

Priyam Patel, Gokul Srinivasan, Sydur Rahaman and Iulian Neamtiu

New Jersey Institute of Technology

Charette: TA for and with AI
Chairs: Xiaoying Bai
and Andreas Ulrich

Keynote 2
Chair: Andreas Ulrich

Keynote

Towards Software-defined and Self-Driving Cloud Infrastructure

Wei Xu

Tsinghua University

System Testing
Chair: Antonia Bertolino

Full

Improving Continuous Integration with Similarity-based Test Case Selection

Francisco Gomes de Oliveira Neto, Azeem Ahmad, Ola Leifler, Kristian Sandhal and Eduard Enoiu

Chalmers and University of Gothenburg; Linköping University; Mälardalen University

Full

Memory Corruption Detecting Method Using Static Variables and Dynamic Memory Usage

Jihyun Park, Changsun Park, Byoungju Choi and Gihun Chang

Ewha Womans University; Samsung Electronics

Short

Guided Test Case Generation Through AI Enabled Output Space Exploration

Christof J. Budnik, Georgi Markov, Zhu Wang and Marco Gario

Siemens Corporate Technology

Mutation-Based Testing
Chair: Andreas Ulrich

Full

Using Controlled Numbers of Real Faults and Mutants to Empirically Evaluate Coverage-Based Test Case Prioritization

David Paterson, Gregory Kapfhammer, Gordon Fraser and Phil McMinn

The University of Sheffield; Allegheny College; University of Passau

Full

Test Suite Reduction for Self-organizing Systems: A Mutation-based Approach

André Reichstaller, Benedikt Eberhardinger, Hella Ponsar, Alexander Knapp and Wolfgang Reif

University of Augsburg

Closing
Chairs: Antonia Bertolino
and Andreas Ulrich