Full Text Documents

Search


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/