Table of Contents
|
Testing Software and Systems
Franz Wotawa, Mihai Nica, Natalia Kushik |
Front Matter |
Testing Methodologies
|
Conformance Testing with Respect to Partial-Order Specifications
Gregor Bochmann |
3-17 |
Back-to-Back Testing of Self-organization Mechanisms
Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif |
18-35 |
Test Generation by Constraint Solving and FSM Mutant Killing
Alexandre Petrenko, Omer Timo, S. Ramesh |
36-51 |
Risk-Based Interoperability Testing Using Reinforcement Learning
André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen |
52-69 |
A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing
Dimitris Simos, Kristoffer Kleine, Laleh Ghandehari, Bernhard Garn, Yu Lei |
70-85 |
Heuristics and Non-determinism in Testing
|
Controllability Through Nondeterminism in Distributed Testing
Robert Hierons, Mercedes Merayo, Manuel Núñez |
89-105 |
Parallelizing Heuristics for Generating Synchronizing Sequences
Sertaç Karahoda, Osman Erenay, Kamer Kaya, Uraz Türker, Husnu Yenigun |
106-122 |
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness
Krishna Patel, Robert Hierons |
123-138 |
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications
Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov |
139-152 |
Practical Applications
|
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking
Eduard Enoiu, Daniel Sundmark, Adnan Čaušević, Robert Feldt, Paul Pettersson |
155-171 |
STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice
Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen |
172-190 |
From Simulation Data to Test Cases for Fully Automated Driving and ADAS
Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger, Reinhard German |
191-206 |
Short Contributions
|
Searching Critical Values for Floating-Point Programs
Hélène Collavizza, Claude Michel, Michel Rueher |
209-217 |
UTTOS: A Tool for Testing UEFI Code in OS Environment
Eder Gomes, Paulo Amora, Elvis Teixeira, Antonio Lima, Felipe Brito, Juliano Ciocari, Javam Machado |
218-224 |
Towards Model Construction Based on Test Cases and GUI Extraction
Antti Jääskeläinen |
225-230 |
Set-Based Algorithms for Combinatorial Test Set Generation
Ludwig Kampel, Dimitris Simos |
231-240 |
Automated Localisation Testing in Industry with Test$$^*$$∗
Mireilla Martinez, Anna Esparcia, Urko Rueda, Tanja Vos, Carlos Ortega |
241-248 |
Distribution Visualization for User Behavior Analysis on LTE Network
Masaki Suzuki, Quentin Plessis, Takeshi Kitahara, Masato Tsuru |
249-255 |
Hosted by HAL : 