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.
We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.