Volume 116; Issue none

Main
Electronic Notes in Theoretical Computer Science
Volume 116; Issue none

Electronic Notes in Theoretical Computer Science

Volume 116; Issue none

1

From UML models to automatic generated tests for the dotLRN e-learning platform

Ana Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 433 KB

english, 2005

2

An Approach to Behavioral Subtyping Based on Static Analysis

Francesco Logozzo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 262 KB

english, 2005

3

Towards Testing and Analysis of Systems that Use Serialization

Giovanni Denaro, Leonardo Mariani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 289 KB

english, 2005

4

Enhancing Test Coverage by Back-tracing Model-checker Counterexamples

A. Fantechi, S. Gnesi, A. Maggiore

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 283 KB

english, 2005

5

Testability Analysis of Data-Flow Software

Thanh Binh Nguyen, Michel Delaunay, Chantal Robach

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 533 KB

english, 2005

6

Validating Component Integration with C-TILCO: A Case Study

P. Bellini, P. Nesi, D. Rogai

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 249 KB

english, 2005

7

Introducing a Reasonably Complete and Coherent Approach for Model-based Testing

A. Bertolino, E. Marchetti, H. Muccini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 222 KB

english, 2005

8

Introducing Test Automation and Test-Driven Development: An Experience Report

Lars-Ola Damm, Lars Lundberg, David Olsson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 274 KB

english, 2005

9

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 68 KB

english, 2005

10

Towards Contract-based Testing of Web Services

Reiko Heckel, Marc Lohmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 393 KB

english, 2005

11

A Hierarchical Framework for Component-based Real-time Systems

Giuseppe Lipari, Paolo Gai, Michael Trimarchi, Giacomo Guidi, Paolo Ancilotti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 296 KB

english, 2005

12

Validation Coverage for a Component-based SDL model of a Railway Signaling System

M. Banci, M. Becucci, A. Fantechi, E. Spinicci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 413 KB

english, 2005

13

A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems

Andrea Baldini, Alfredo Benso, Paolo Prinetto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 345 KB

english, 2005

14

A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures

V. Cortellessa, A. Di Marco, P. Inverardi, F. Mancinelli, P. Pelliccione

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 321 KB

english, 2005

15

A Technique for Verifying Component-Based Software

Leonardo Mariani, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 362 KB

english, 2005

16

A Compositional Framework for Formally Verifying Modular Systems

Carlo A. Furia, Matteo Rossi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 284 KB

english, 2005

17

A Dual Language Approach to the Development of Time-Critical Systems

Luigi Lavazza, Sandro Morasca, Angelo Morzenti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 269 KB

english, 2005

18

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems

Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 438 KB

english, 2005

19

Toward Translating Design Constraints to Run-Time Assertions

Luciano Baresi, Michal Young

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 235 KB

english, 2005

20

Abstractions for Model-Based Testing

Wolfgang Prenninger, Alexander Pretschner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 232 KB

english, 2005