Accepted papers

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.