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
Nina Yevtushenko, Ana Rosa Cavalli, Husnu Yenigun
Front Matter

Model Based Testing


Fragility-Oriented Testing with Model Execution and Reinforcement Learning
Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar
3-20
Fault-Based Testing for Refinement in CSP
Ana Cavalcanti, Adenilso Simao
21-37
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning
Niklas Krafczyk, Jan Peleska
38-53
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques
Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
54-70
AI for Localizing Faults in Spreadsheets
Birgit Hofer, Iulia Nica, Franz Wotawa
71-87

Test Derivation Methods


n-Complete Test Suites for IOCO
Petra Bos, Ramon Janssen, Joshua Moerman
91-107
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs
Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
108-125
From Passive to Active FSM Inference via Checking Sequence Construction
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
126-141

Safety and Security Testing


Safety-Complete Test Suites
Wen-Ling Huang, Jan Peleska
145-161
Testing TLS Using Combinatorial Methods and Execution Framework
Dimitris Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei, Franz Wotawa
162-177
Using Data Integration for Security Testing
Sébastien Salva, Loukmen Regainia
178-194

Test Selection and Quality Estimation


A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction
Hermann Felbinger, Ingo Pill, Franz Wotawa
197-212
Quality Estimation of Virtual Machine Placement in Cloud Infrastructures
Jorge Lopez, Natalia Kushik, Djamal Zeghlache
213-229
Homing Sequence Derivation with Quantified Boolean Satisfiability
Hung-En Wang, Kuan-Hua Tu, Jie-Hong Jiang, Natalia Kushik
230-242
Synchronizing Heuristics: Speeding up the Slowest
Ömer Altun, Kamil Atam, Sertaç Karahoda, Kamer Kaya
243-256

Testing Timed and Distributed Systems


GREP: Games for the Runtime Enforcement of Properties
Matthieu Renard, Antoine Rollet, Yliès Falcone
259-275
Constraint-Based Oracles for Timed Distributed Systems
Nassim Benharrat, Christophe Gaston, Robert Hierons, Arnault Lapitre, Pascale Gall
276-292
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles
Richard Schumi, Priska Lang, Bernhard Aichernig, Willibald Krenn, Rupert Schlick
293-310

Short Contributions


Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne
Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Gonzalez, Tiziano Villa
313-319
Generating Checking Sequences for User Defined Fault Models
Alexandre Petrenko, Adenilso Simao
320-325
Adaptive Localizer Based on Splitting Trees
Roland Groz, Adenilso Simao, Catherine Oriat
326-332
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation
Aleksandr Tvardovskii
333-339

 

 


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