Volume 116, January 2005

Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)

• 
  Mauro Pezzè: Preface. 1-2
• 
  Lars-Ola Damm, Lars Lundberg, David Olsson: Introducing Test Automation and Test-Driven Development: An Experience Report. 3-15
• 
  Leonardo Mariani, Mauro Pezzè: A Technique for Verifying Component-Based Software. 17-30
• 
  Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi, Fabio Mancinelli, Patrizio Pelliccione: A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures. 31-44
• 
  Andrea Baldini, Alfredo Benso, Paolo Prinetto: A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems. 47-57
• 
  Wolfgang Prenninger, Alexander Pretschner: Abstractions for Model-Based Testing. 59-71
• 
  Luciano Baresi, Michal Young: Toward Translating Design Constraints to Run-Time Assertions. 73-84
• 
  Antonia Bertolino, Eda Marchetti, Henry Muccini: Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. 85-97
• 
  Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci: Validation Coverage for a Component-based SDL model of a Railway Signaling System. 99-111
• 
  Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai: QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. 113-131
• 
  Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis: From UML models to automatic generated tests for the dotLRN e-learning platform. 133-144
• 
  Reiko Heckel, Marc Lohmann: Towards Contract-based Testing of Web Services. 145-156
• 
  Francesco Logozzo: An Approach to Behavioral Subtyping Based on Static Analysis. 157-170
• 
  Giovanni Denaro, Leonardo Mariani: Towards Testing and Analysis of Systems that Use Serialization. 171-184
• 
  Carlo A. Furia, Matteo Rossi: A Compositional Framework for Formally Verifying Modular Systems. 185-198
• 
  Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore: Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. 199-211
• 
  Thanh Binh Nguyen, Michel Delaunay, Chantal Robach: Testability Analysis of Data-Flow Software. 213-225
• 
  Luigi Lavazza, Sandro Morasca, Angelo Morzenti: A Dual Language Approach to the Development of Time-Critical Systems. 227-239
• 
  Pierfrancesco Bellini, Paolo Nesi, Davide Rogai: Validating Component Integration with C-TILCO: A Case Study. 241-252
• 
  Giuseppe Lipari, Paolo Gai, Michael Trimarchi, Giacomo Guidi, Paolo Ancilotti: A Hierarchical Framework for Component-based Real-time Systems. 253-266