Full Text Documents

Search


 
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

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/