Accepted Papers

Juhan P. Ernits, Andres Kull, Kullo Raiend, and Jüri Vain
Generating Tests from EFSM Models using Guided Model Checking and Iterated Search Refinement

Tayfun Elmas, Shaz Qadeer, and Serdar Tasiran
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets

Moez Krichen, Stavros Tripakis
State-Identification Problems for Finite-State Transducers

Fabrice Bouquet, Frederic Dadeau, Julien Groslambert, and Jacques Julliand
Safety Property Driven Test Generation from JML Specifications

Pieter Koopman, Rinus Plasmeijer, and Peter Achten
Model-Based Testing of Thin-Client Web Applications

Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, and Yael Zbar
Deterministic Dynamic Monitors for Linear-Time Assertions

Michiel van Osch
Hybrid Input-output Conformance and Test Generation

Georgios Fainekos, George Pappas
Robustness of Temporal Logic Specifications

Manoranjan Satpathy, Qaiser Malik, and Johan Lilius
Synthesis of Scenario Based Test Cases from B Models

Cormac Flanagan, Stephen N. Freund
Dynamic Architecture Extraction

Lars Frantzen, Jan Tretmans, and Tim Willemse
A Symbolic Framework for Model-Based Testing

Cheng Li, zhe dang
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems

Margus Veanes, Pritam Roy, and Colin Campbell
Online Testing with Reinforcement Learning

Jean-Claude Fernandez, Laurent Mounier, and Jean-luc Richier
A Test Calculus Framework Applied to Network Security Policies