Electronic Notes in Theoretical Computer Science, Volume 116

Volume 116, January 2005

• Mauro Pezzè:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Lars-Ola Damm, Lars Lundberg, David Olsson:
  Introducing Test Automation and Test-Driven Development: An Experience Report. 3-15
  Electronic Edition (link) BibTeX
• Leonardo Mariani, Mauro Pezzè:
  A Technique for Verifying Component-Based Software. 17-30
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Andrea Baldini, Alfredo Benso, Paolo Prinetto:
  A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems. 47-57
  Electronic Edition (link) BibTeX
• Wolfgang Prenninger, Alexander Pretschner:
  Abstractions for Model-Based Testing. 59-71
  Electronic Edition (link) BibTeX
• Luciano Baresi, Michal Young:
  Toward Translating Design Constraints to Run-Time Assertions. 73-84
  Electronic Edition (link) BibTeX
• Antonia Bertolino, Eda Marchetti, Henry Muccini:
  Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. 85-97
  Electronic Edition (link) BibTeX
• Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci:
  Validation Coverage for a Component-based SDL model of a Railway Signaling System. 99-111
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Reiko Heckel, Marc Lohmann:
  Towards Contract-based Testing of Web Services. 145-156
  Electronic Edition (link) BibTeX
• Francesco Logozzo:
  An Approach to Behavioral Subtyping Based on Static Analysis. 157-170
  Electronic Edition (link) BibTeX
• Giovanni Denaro, Leonardo Mariani:
  Towards Testing and Analysis of Systems that Use Serialization. 171-184
  Electronic Edition (link) BibTeX
• Carlo A. Furia, Matteo Rossi:
  A Compositional Framework for Formally Verifying Modular Systems. 185-198
  Electronic Edition (link) BibTeX
• Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore:
  Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. 199-211
  Electronic Edition (link) BibTeX
• Nguyen Thanh Binh, Michel Delaunay, Chantal Robach:
  Testability Analysis of Data-Flow Software. 213-225
  Electronic Edition (link) BibTeX
• Luigi Lavazza, Sandro Morasca, Angelo Morzenti:
  A Dual Language Approach to the Development of Time-Critical Systems. 227-239
  Electronic Edition (link) BibTeX
• Pierfrancesco Bellini, Paolo Nesi, Davide Rogai:
  Validating Component Integration with C-TILCO: A Case Study. 241-252
  Electronic Edition (link) BibTeX
• Giuseppe Lipari, Paolo Gai, Michael Trimarchi, Giacomo Guidi, Paolo Ancilotti:
  A Hierarchical Framework for Component-based Real-time Systems. 253-266
  Electronic Edition (link) BibTeX