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.