Accepted full papers:
- André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif and Marcel Gehlen, Risk-based Interoperability Testing using Reinforcement Learning.
- Robert Hierons, Mercedes Merayo and Manuel Nunez, Controllability through nondeterminism in distributed testing.
- Krishna Patel and Robert Hierons, Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness.
- Gregor V. Bochmann, Conformance Testing in Respect to Partial-Order Specifications.
- Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger and Reinhard German, From Simulation Data to Test Cases for Fully Automated Driving and ADAS.
- Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue and Marius Liaaen, STIPI: Using Search to Prioritize Test Cases based on Multi-Objectives Derived from Industrial Practice.
- Sertaç Karahoda, Osman Tufan Erenay, Uraz Cengiz Turker, Kamer Kaya and Hüsnü Yenigün, Parallelizing Heuristics for Generating Synchronizing Sequences.
- Benedikt Eberhardinger, Axel Habermaier, Hella Seebach and Wolfgang Reif, Back-to-Back Testing of Self-Organization Mechanisms.
- Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt and Paul Pettersson, Mutation-Based Test Generation for PLC Embedded Software using Model Checking.
- Alexandre Petrenko, Omer Landry Nguena Timo and S Ramesh. Test Generation by Constraint Solving and FSM Mutant Killing
- Dimitris E. Simos, Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn and Yu Lei, A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing.
- Nina Yevtushenko, Khaled El-Fakih and Anton Ermakov, On-the-fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications.
Accepted short papers:
- Philipp Haindl and Felix Mödritscher, Monitoring and Analysis of Software Quality Metrics on Integration Middleware.
- Antti Jääskeläinen, Towards Model Construction Based on Test Cases and GUI Extraction.
- Cristiano Araújo, Ingrid Nunes and Daltro Nunes, On the Effectiveness of Bug Predictors with Procedural Systems: a Quantitative Study.
- Hélène Collavizza, Claude Michel and Michel Rueher, Searching critical values for floating-point programs.
- Ludwig Kampel and Dimitris E. Simos, Set-based Algorithms for Combinatorial Test Set Generation.
- Eder Gomes, Paulo Amora, Elvis Teixeira, Antonio Lima, Felipe Brito, Juliano Ciocari and Javam Machado, UTTOS: A Tool for Testing UEFI Code in OS Environment.
- Dalton Jorge, Everton Alves, Wilkerson L. Andrade and Patricia Machado, Making Use Case Specifications Handy to Model-Based Testing.
- Mirella Martinez, Anna I Esparcia Alcazar, Urko Rueda, Tanja E. J. Vos and Carlos Ortega, Another experience with Test* in industry: automated localisation testing.
- Masaki Suzuki, Quentin Plessis, Takeshi Kitahara and Masato Tsuru, Distribution Visualization for User Behavior Analysis on LTE Network.