PROCEEDINGS
- The proceedings of FORTE 2007 were published in LNCS
4574.
Bibtex entries can be found at DBLP.
- The proceedings of TestCom/FATES 2007 were published in LNCS 4581.
Bibtex entries can be found at DBLP.
PROGRAM
Tuesday, June 26
|
TUTORIAL DAY |
|
(Brothers' Hall) |
(Olaf's Hall) |
| 8:20-9:00 | Registration of participants |
| 9:00-10:30
|
Theorem-Prover
Based
Testing with HOL-TestGen (I)
Burkhart Wolff and Achim D. Brucker, ETH Zürich, Switzerland
|
Software Fault Diagnosis (I)
Peter Zoeteweij, Delft University of Technology, The Netherlands
|
| 10:30-11:00 | COFFEE BREAK |
| 11:00-12:30
|
Theorem-Prover
Based
Testing with HOL-TestGen (II)
Burkhart Wolff and Achim D. Brucker, ETH Zürich, Switzerland
|
Software Fault
Diagnosis (II)
Peter Zoeteweij, Delft University of Technology, The Netherlands
|
| 12:30-14:00 | LUNCH |
| 14:00-15:30
|
Model-Based
Software
Testing and Analysis with C# and NModel (I)
Jonathan Jacky, University of Washington, USA
|
Model-Based
Testing
of Real-Time Systems (I)
Brian Nielsen, University of Aalborg, Denmark
|
| 15:30-16:00 | COFFEE BREAK |
| 16:00-17:30
|
Model-Based
Software
Testing and Analysis with C# and NModel (II)
Jonathan Jacky, University of Washington, USA
|
Model-Based
Testing
of Real-Time Systems (II)
Brian Nielsen, University of Aalborg, Denmark
|
| 20:00-... |
RECEPTION at Town Hall (Raekoda), Raekoja plats 1* |
*Registration will be open until 18:00 on June 26 at the venue. Those who arrive later
can
join the reception directly at Town Hall and register at the venue on Wednesday. There will be food served at the reception.
Wednesday, June 27
|
TESTCOM-FATES (Brothers' Hall) |
FORTE (Olaf's Hall) |
| 8:20-8:45 | Registration of participants |
| 8:45-9:00 |
OPENING |
| 9:00-10:00 Plenary 1
(Brothers' Hall) |
Antti Huima (Conformiq Software)
Implementing Conformiq Qtronic
Chair: Margus Veanes
|
| 10:00-10:30 | COFFEE BREAK |
| 10:30-12:00
Session 1
|
Automata-based Testing (I)
(Chair: Roland Groz)
- Camille Constant, Bertrand Jeannet and Thierry Jeron
Automatic Test Generation from Interprocedural Specifications
- Natalia Shabaldina, Khaled El-Fakih and Nina Yevtushenko
Testing Nondeterminitic Finite State Machines with Respect to the Separability Relation
- Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács and Gábor Árpád Németh
A Bounded Incremental Test Generation Algorithm for Finite State Machines
|
Message Sequence Charts and SDL
(Chair: Manuel Núñez)
- Haitao Dan, Rob Hierons and Steve Counsell
Thread–based Analysis of Sequence Diagrams
- Guy-Vincent Jourdan, Hasan Ural, Shen Wang and Husnu Yenigun
Recovering Repetitive Sub-Functions From Observations
- Ana Cavalli
Specification of Timed EFSM Fault Models in SDL
|
| 12:00-12:15 | Tool demo introduction session | |
| 12:15-14:00 | LUNCH |
| 14:00-15:30 Session 2
|
Automata-based Testing (II)
(Chair: Marie-Claude Gaudel)
- Maxim Gromov and Tim Willemse
Testing and Model-Checking Techniques for Diagnosis
- Alexandra Desmoulin and Cesar Viho
A New Method for Interoperability Test Generation
- Stefan Haar, Claude Jard and Guy-Vincent Jourdan
Testing Input/Output Partial Order Automata
|
Concurrency
(Chair: Gregor von Bochmann)
- Roberto Guanciale, Daniele Strollo, Gianluigi Ferrari and Emilio Tuosto
Coordination via Types in an Event-based framework
- Hongli Yang, Xiangpeng Zhao, Chao Cai and Zongyan Qiu
Exploring the Connection of Choreography and Orchestration with
Exception Handling and Finalization/Compensation
- Junghwa Chae
Towards Modal Logic Formalization of the Role-based Access Control with Object Classes
|
| 15:30-16:00 | COFFEE BREAK |
| 16:00-17:00 Session 3
|
Practice
(Chair: Khaled El-Fakih)
- Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson and Peter Jönsson
Component Testing is not Enough - A Study of Software Faults in Telecom Middleware
- Luiz Kawakami, André Knabben, Douglas Rechia, Denise Bastos,
Otavio Pereira, Ricardo Pereira e Silva and Luiz Santos
An Object-Oriented Framework for Improving Software Reuse on
Automated Testing of Mobile Phones
- Vesa Luukkala and Ian Oliver
Model Based Testing of an Embedded Session and Transport Protocol
|
Model Programs
(Chair: Ana Cavalli)
- Margus Veanes, Juhan Ernits and Colin Campbell
State Isomorphism in Model Programs with Abstract Data Structures
- Margus Veanes, Colin Campbell and Wolfram Schulte
Composition of Model Programs
|
| 17:00-17:30 |
|
| 18:00-19:45 | Excursion in Tallinn. The guides will be at the venue at 18:00. Later the tour will continue by bus. The end is ~19:45. |
Thursday, June 28
| 9:00-10:00 Plenary 2
(Brothers' Hall)
|
Susanne Graf
Contracts for BIP: Hierarchical Interaction Models for Compositional Verication
(Chair: Jüri Vain)
|
| 10:00-10:30 | COFFEE BREAK |
| 10:30-12:00 Session 4
|
System Testing (I)
(Chair: Kenji Suzuki)
- Stephan Schulz, Anthony Wiles and Steve Randall
TPLan- A Notation for Expressing Test Purposes
- Cyril Grepet and Stephane Maag
Nodes Self-Similarity to Test Wireless Ad Hoc Routing Protocols
- Przemyslaw Plesowicz and Mieczyslaw Metzger
Experimental Testing of Ethernet TCP/IP Communication for Automatic Control
|
Theory
(Chair: John Derrick)
- David Frutos Escrig, Fernando Rosa-Velardo and Carlos Gregorio Rodríguez
New Bisimulation Semantics for Distributed Systems
- Thomas Gazagnaire and Loic Helouet
Reconstructing Causal Ordering with Boxed Pomsets
- Sami Evangelista, Christophe Pajault and Jean-François Pradat-Peyre
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
|
| 12:00-13:00 | LUNCH |
| 13:00-14:00 | Poster session on
work-in-progress and position papers | |
| 14:00-15:30 Session 5
|
Modular Systems (I)
(Chair: Hartmut König)
- Abdelghani Benharref, Rachida Dssouli, Serhani Mohamed Adel, Abdeslam En-nouaary and Roch Glitho
New Approach for EFSM-Based Passive Testing of Web Services
- Tamás Horváth and Tibor Sulyán
A Framework for Testing AIS Implementations
- Muzammil Shahbaz, Keqin Li and Roland Groz
Learning and Integration of Parameterized Components through Testing
|
Verification
(Chair: David de Frutos-Escrig)
- Rongjie Yan, Guangyuan Li, Wenliang Zhang and Yunquan Peng
Improvements for the Symbolic Verification of Timed Automata
- Rui Fan, Ralph Droms, Nancy Griffeth and Nancy Lynch
The DHCP Failover Protocol: A Formal Perspective
- Qiang Guo
Verifying Erlang/OTP Components in muCRL
|
| 15:30-16:00 | COFFEE BREAK |
| 16:00-17:30 Session 6 |
Test Quality
(Chair: Andreas Ulrich)
- Diana Vega, Ina Schieferdecker and George Din
Test Data Variance as a Test Quality Measure- Exemplified for TTCN-3
- Helmut Neukirchen and Martin Bisanz
Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites
- Hasan Ural and Zhi Xu
An EFSM-based Passive Fault Detection Approach
|
Model Checking
(Chair: Claude Jard)
- Fei He, Luciano Baresi, Carlo Ghezzi and Paola Spoletini
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
- Gabriel Kalyon, Thierry Massart, Cédric Meuter and Laurent Van Begin
Testing Distributed Systems through Symbolic Model Checking of Traces
- Kais Klai, Laure Petrucci and Michel Reniers
An Incremental Modular Technique for Checking LTL-X Properties on Petri nets
|
| 18:00 |
Buses at Mere pst to BANQUET in Kolu Tavern of the
Estonian Open Air Museum.
19:00 Excursion in the museum, 20:00 Banquet, 23:00 buses return to the center.
|
Friday, June 29
9:00-9:30
|
System Testing (II)
(Chair: Vlad Rusu)
- David Cebrián, Valentín Valero, and Fernando Cuartero
Automation of Avionic Systems Testing
- Sergey Zelenov and Sophia Zelenova
Model-Based Testing of Optimizing Compilers
- Sebastian Schmerl and Hartmut Koenig
Towards Systematic Signature Testing
|
|
| 9:30-10:30 Session 7 |
Requirements and QoS
(Chair: Hasan Ural)
- Fei He, Luciano Baresi, Carlo Ghezzi and Paola Spoletini
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Kedian Mu and Zhi Jin
Identifying Acceptable Common Proposals for Handling
Inconsistent Software Requirements- Christian Webel and Reinhard Gotzhein
Formalization of Network Quality-of-Service Requirements
|
| 10:30-11:00 | COFFEE BREAK |
| 11:00-12:30 Session 8
|
Modular Systems (II)
(Chair: Manuel Núñez)
- Ylies Falcone, Jean-Claude Fernandez, Laurent Mounier and Jean-Luc Richier
A Compositional Testing Framework Driven by Partial Specifications
- László Gönczy, Reiko Heckel and Dániel Varró
Model-based Testing of Service Infrastructure Components
- Alain Faivre, Christophe Gaston and Pascale Le Gall
Symbolic Model Based Testing for Component Oriented Systems
|
Components
(Chair: Elie Najm)
- Mila Majster-Cederbaum and Moritz Martens
Robustness in Component-Based Systems
- Serge Haddad and Pascal Poizat
Transactional Reduction of Component Compositions
- João Abreu, Laura Bocchi, José Luiz Fiadeiro and Antónia Lopes
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
|
| 12:30-12:45 |
CLOSING |
| 12:45-14:30 | LUNCH |
Last changed
May 23, 2014 19:08 EET
by
local organizers, tff07(at)ioc.ee