| FATES/RV'06 | Formal Approaches to Testing and Runtime Verification Seattle, August 15 - 16, 2006 |
Program
All sessions will take place in Suite 2828 unless otherwise indicated.
Tuesday, August 15th
Tuesday's program is also available with abstracts or side by side with other meetings.
09:00‑10:00 Session 1: Invited Talk
| 09:00 | Wolfgang Grieskamp
(Microsoft Research, USA) Multi-Paradigmatic Model-Based Testing [ppt] |
10:00‑10:30 Break
10:30‑12:30 Session 2
| 10:30 | Lars Frantzen
, Jan Tretmans and Tim Willemse
A Symbolic Framework for Model-Based Testing |
| 11:00 | Jean-Claude Fernandez
, Laurent Mounier
and Jean-luc Richier A Test Calculus Framework Applied to Network Security Policies |
| 11:30 | Michiel van Osch
Hybrid Input-output Conformance and Test Generation |
| 12:00 | Juhan P. Ernits
, Andres Kull, Kullo Raiend and Jüri Vain Generating Tests from EFSM Models using Guided Model Checking and Iterated Search Refinement |
12:30‑14:00 Lunch break
14:00‑15:30 Session 3
| 14:00 | Cheng Li
and zhe dang Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems |
| 14:30 | Pieter Koopman, Rinus Plasmeijer and Peter Achten Model-Based Testing of Thin-Client Web Applications |
| 15:00 | Manoranjan Satpathy
, Qaiser Malik and Johan Lilius
Synthesis of Scenario Based Test Cases from B Models |
15:30‑16:00 Break
16:00‑17:30 Session 4: Tool Demos
Wednesday, August 16th
Wednesday's program is also available with abstracts or side by side with other meetings.
09:30‑10:30 Session 5: Invited Talk
| 09:30 | Oege de Moor
(Oxford University, GB) Aspects for Trace Monitoring [pdf] |
10:30‑11:00 Break
11:00‑12:30 Session 6
| 11:00 | Moez Krichen
and Stavros Tripakis
State-Identification Problems for Finite-State Transducers |
| 11:30 | Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi and Yael Zbar Deterministic Dynamic Monitors for Linear-Time Assertions |
| 12:00 | Georgios Fainekos
and George Pappas
Robustness of Temporal Logic Specifications |
12:30‑14:00 Lunch break
14:00‑15:30 Session 7
15:30‑16:00 Break
16:00‑16:30 Session 9
| 16:00 | Margus Veanes
, Pritam Roy and Colin Campbell Online Testing with Reinforcement Learning |
16:30‑17:30 Session 10: Tool Demos
