
Electronic Notes in Theoretical Computer Science, Volume 116
Volume 116, January 2005
- 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.