Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

 
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/