Programme of TACOS

SATURDAY, March 27

9.30
9.40
Opening
9.40
10.30
Invited Lecture
Test Case Design by means of the Classification-Tree Method and the Classification-Tree Editor CTE.
Joachim Wegener (Daimler Chrysler Research)
10.30
11.00
Coffee

Test automation

11.00
13.00
Introducing Software Test Automation and Test-Driven Development: An Experience Report
L. Damm, L. Lundberg, D. Olsson (Ericsson, Sweden)

Automatic Validation of Component-based System
L. Mariani, M. Pezzè (University of Milano-Bicocca, Italy)

A framework for the integration of functional and non-functional analysis of software architectures
V.Cortellessa, A.Di Marco, P.Inverardi, F.Mancinelli (University of L'Aquila, Italy)

A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems
A. Baldini, A. Benso, P. Prinetto (Politecnico di Torino)
13.00
14.30
Lunch
14.30
15.30
Invited Lecture
The xlinkit approach to consistency management: Language, Semantics, and Tools
Wolfgang Emmerich (University College London)
15.30
16.00
Coffee

Joint Session with GT-VMT on Model-based Testing
16.00
18.00
Abstractions for Model-Based Testing
W. Prenninger, A. Pretschner (Technische Universitat Munchen, Germany)

Toward Translating Design Constraints to Run-Time Assertions
L. Baresi (Politecnico di Milano, Italy), M. Young (University of Oregon, USA)

Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
A. Bertolino (ISTI-CNR, Pisa, Italy), E. Marchetti (ISTI-CNR, Pisa, Italy), H. Muccini (University of L'Aquila, Italy)

Validation Coverage for a Component-based SDL model of a Railway Signaling System
M. Banci, M. Becucci, A. Fantechi, E. Spinicci (University of Firenze, Italy)

SUNDAY, March 28

9.00
9.30
Invited Lecture
QUACK: a platform for the quality of new generation integrated embedded systems
Mauro Pezzè(University of Milano-Bicocca)

Testing of Web application
9.30
10.30
From UML models to automatic generated tests for the dotLRN e-learning platform
A. Cavalli, S. Maag, S. Papagiannaki, G. Verigakis (Institut National des Telecommunications, France)

Towards Contract-based Testing of Web Services
R. Heckel, M. Lohmann (University of Paderborn, Germany)
10.30
11.00
Coffee

Reasoning frameworks for component-based software
11.00
12.30
An Approach to Behavioral Subtyping Based on Static Analysis
F. Logozzo (STIX - Ecole Polytechnique, France)

Towards Testing and Analysis of Systems that Use Serialization
G. Denaro, L. Mariani (University of Milano-Bicocca, Italy)

A Compositional Framework for Formally Verifying Modular Systems
C. A. Furia, M. Rossi (Politecnico di Milano, Italy)
12.30
14.00
Lunch
14.00
14.30
Invited Lecture

Paolo Prinetto (Politecnico di Torino)

Code-based approaches

14.30
15.30
Enhancing test coverage by back-tracing model-checker counter examples
A. Fantechi (University of Firenze, Italy), A. Maggiore (AltraVerifica Ltd, UK), S. Gnesi (ISTI-CNR, Pisa, Italy)

Testability Analysis of Data-Flow Software
N. T. Binh, M. Delaunay, C. Robach (LCIS-ESISAR, Valence, France)
15.30
16.00
Coffee

Validation of time-critical systems
16.00
17.30
A Dual Language Approach to the Development of Time-Critical Systems with UML
L. Lavazza, S. Morasca, A. Morzenti (Politecnico di Milano, Italy)

Validating Component Integration with C-TILCO: A Case Study
P. Bellini, P. Nesi, D. Rogai (University of Firenze, Italy)

A hierarchical framework for component-based real-time systems
G. Lipari, P. Gai, M. Trimarchi, G. Guidi (Scuola Superiore S. Anna, Pisa, Italy)
Evening
Pre-Conference Workshops Dinner