Journal: Electronic Notes in Theoretical Computer Science

Volume 82, Issue 6

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