


default search action
TACoS@ETAPS 2003: Warsaw, Poland
- Mauro Pezzè:
International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(6), Elsevier 2003 - Alexander Pretschner:
Compositional Generation of MC/DC Integration Test Suites. 1-10 - Charalampos Z. Patrikakis
, Thomas Kalamaris, Vaios Kakavas:
Performing integrated system tests using Malicious Component Insertion. 11-21 - Hans-Gerhard Groß, Nikolas Mayer:
Built-In Contract Testing in Component Integration Testing. 22-32 - Reiko Heckel, Marc Lohmann:
Towards Model-Driven Testing. 33-43 - Antonia Bertolino
, Eda Marchetti
, Andrea Polini
:
Integration of "Components" to Test Software Components. 44-54 - Leonardo Mariani
:
A Fault Taxonomy for Component-Based Software. 55-65 - Alessandro Fantechi, Emilio Spinicci:
Modelling and Validating a multiple-configuration railway signalling system using SDL. 66-76 - Bartosz Lawniczek, Grzegorz Majka, Pawel Slowikowski, Krzysztof Zielinski, Slawomir Zielinski
:
Grid Infrastructure Monitoring Service Framework Jiro/JMX Based Implementation. 77-88 - Giovanni Denaro
, Leonardo Mariani
, Mauro Pezzè
:
Self-Test Components for Highly Reconfigurable Systems. 89-98 - Henry Muccini
, André van der Hoek:
Towards Testing Product Line Architectures. 99-109 - Kiyohito Itoh, Hiromi Kobayashi:
A Safety Mechanism Using Software Patterns. 110-120 - Luigi Lavazza
, Sandro Morasca
, Angelo Morzenti
:
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems. 121-132 - Giuseppe Lipari, Enrico Bini
, Gerhard Fohler
:
A Framework for Composing Real-Time Schedulers. 133-146 - James Skene, Wolfgang Emmerich:
Model Driven Performance Analysis of Enterprise Information Systems. 147-157 - Antonia Bertolino
, Raffaela Mirandola:
Modeling and Analysis of Non-functional Properties in Component-based Systems. 158-168 - Ismael Rodríguez
, Fernando Rubio
:
A Framework for Selecting Components Automatically: A First Approach. 169-179 - Ana M. Roldán
, Ernesto Pimentel
, Antonio Brogi
:
Safe Composition of Linda-based Components. 180-189 - A. S. M. Sajeev, Bugi Wibowo:
UML Modeling for Regression Testing of Component Based Systems. 190-198 - Andrea Baldini, Paolo Prinetto, Giovanni Denaro
, Mauro Pezzè
:
Design for Testability for Highly Reconfigurable Component-Based Systems. 199-208 - Mauro Pezzè
:
Preface. 209-210

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.