Full papers

1. Automatic web service robustness testing from WSDL descriptions
   Sebastien Salva, Issam Rabhi
2. Model-Driven Testing based on Markov Chain Usage Models in the Automotive Domain
   Sebastian Siegl, Winfried Dulz, Reinhard German, Gerhard Kiffe
3. Revisiting the Steam-Boiler Case Study with Lutess: Modeling for Automatic Test Generation
   Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis
4. Distinguish Dynamic Basic Blocks by Structural Statistical Testing
   Matthieu Petit, Arnaud Gotlieb
5. Validating Failure Detection Isolation and Recovery Strategies using Timed Automata
   Ana-Elena Rugina, Jean-Paul Blanquart, Raymond Soumagne
6. Model Checking by Censoring Markov Chains and Stochastic Comparison
   Nihal Pekergin, Sana Younès
7. Risk-based Statistical Testing: A refinement-based approach to the reliability analysis of safety-critical systems
   Fabian Zimmermann, Johannes Kloos, Robert Eschbach, Thomas Bauer
8. Attack Injection for Performance and Dependability Assessment of Ad-Hoc Networks
   Jesus Friginal, Juan-Carlos Ruiz, David de Andrés, Pedro Gil
9. Experiences from Verifying a Partitioning Kernel Using Fault Injection
   Raul Barbosa, Johan Karlsson
10. Fault Tolerant Middleware for Agent Systems: A Refinement Approach
    Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky
11. A tool for checking secure interaction in Java Cards
    Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco, Paolo Masci
12. Experiences in testing a Grid service in a production environment
    Flavia Donno, Andrea Domenici
13. Deriving Specifications of Dependable Systems: toward a Method
    Manuel Mazzara

Short papers

1. Making Formal Verification Amenable to Real-Time UML Practitioners
   Pierre de Saqui-Sannnes, Ludovic Apvrille
2. Discret and Hybrid Systems Dependability Analysis with ESA PetriNet
   Romaric Guillerm, Hamid Demmou, Nabil Sadou
3. Standards-based Assessment of Development Toolchains in Safety-Critical Systems
   Zoltán Szatmári
4. Robustness Evaluation of Robot Controller Software
   Hoang-Nam Chu, Jean Arlat, Marc-Olivier Killijian, Benjamin Lussier, David Powell
5. Observation Graph implementation for TINA toolbox
   Rodrigo Tacla Saad, François Vernadat, Bernard Berthomieu, Silvano Dal Zilio
6. Testing Web Services for Robustness: A Tool Demo
   Nuno Laranjeiro, Marco Vieira
7. Criticality and Confidence Issues in Avionics
   Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric de Nadai
8. Code Coverage Analysis for Concurrent Programming Languages Using High-LeveL Decision Diagrams
   Jaan Raik, Maksim Jenihhin, Anton Chepurov, Raimund Ubar
9. A Tool for Assessing Fault Tolerance Mechanisms applied to Web Services
   Khaled Farj, Neil Speirs
10. Some Challenges in Adaptive Fault Tolerant Computing
    Francois Taiani, Jean-Charles Fabre
11. Application of Early Error Detection for Handling Degraded Modes of Operation
    Thomas Robert, Matthieu Roy, Jean-Charles Fabre