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 |
Hosted by HAL : 