Search results for "TACoS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Mauro Pezzè (eds.)	Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004	TACoS	2005	DBLP BibTeX RDF
1	Giuseppe Lipari, Paolo Gai, Michael Trimarchi, Giacomo Guidi, Paolo Ancilotti	A Hierarchical Framework for Component-based Real-time Systems.	TACoS	2004	DBLP DOI BibTeX RDF
1	Pierfrancesco Bellini, Paolo Nesi, Davide Rogai	Validating Component Integration with C-TILCO: A Case Study.	TACoS	2004	DBLP DOI BibTeX RDF
1	Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis	From UML models to automatic generated tests for the dotLRN e-learning platform.	TACoS	2004	DBLP DOI BibTeX RDF
1	Reiko Heckel, Marc Lohmann	Towards Contract-based Testing of Web Services.	TACoS	2004	DBLP DOI BibTeX RDF
1	Luigi Lavazza, Sandro Morasca, Angelo Morzenti	A Dual Language Approach to the Development of Time-Critical Systems.	TACoS	2004	DBLP DOI BibTeX RDF
1	Mauro Pezzè	Preface.	TACoS	2004	DBLP DOI BibTeX RDF
1	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.	TACoS	2004	DBLP DOI BibTeX RDF
1	Carlo A. Furia, Matteo Rossi	A Compositional Framework for Formally Verifying Modular Systems.	TACoS	2004	DBLP DOI BibTeX RDF
1	Nguyen Thanh Binh 0002, Michel Delaunay, Chantal Robach	Testability Analysis of Data-Flow Software.	TACoS	2004	DBLP DOI BibTeX RDF
1	Francesco Logozzo	An Approach to Behavioral Subtyping Based on Static Analysis.	TACoS	2004	DBLP DOI BibTeX RDF
1	Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai	QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems.	TACoS	2004	DBLP DOI BibTeX RDF
1	Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore	Enhancing Test Coverage by Back-tracing Model-checker Counterexamples.	TACoS	2004	DBLP DOI BibTeX RDF
1	Luciano Baresi, Michal Young	Toward Translating Design Constraints to Run-Time Assertions.	TACoS	2004	DBLP DOI BibTeX RDF
1	Andrea Baldini, Alfredo Benso, Paolo Prinetto	A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems.	TACoS	2004	DBLP DOI BibTeX RDF
1	Lars-Ola Damm, Lars Lundberg, David Olsson	Introducing Test Automation and Test-Driven Development: An Experience Report.	TACoS	2004	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Eda Marchetti, Henry Muccini	Introducing a Reasonably Complete and Coherent Approach for Model-based Testing.	TACoS	2004	DBLP DOI BibTeX RDF
1	Wolfgang Prenninger, Alexander Pretschner	Abstractions for Model-Based Testing.	TACoS	2004	DBLP DOI BibTeX RDF
1	Giovanni Denaro, Leonardo Mariani	Towards Testing and Analysis of Systems that Use Serialization.	TACoS	2004	DBLP DOI BibTeX RDF
1	Leonardo Mariani, Mauro Pezzè	A Technique for Verifying Component-Based Software.	TACoS	2004	DBLP DOI BibTeX RDF
1	Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci	Validation Coverage for a Component-based SDL model of a Railway Signaling System.	TACoS	2004	DBLP DOI BibTeX RDF
1	Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè	Design for Testability for Highly Reconfigurable Component-Based Systems.	TACoS	2003	DBLP DOI BibTeX RDF
1	Giovanni Denaro, Leonardo Mariani, Mauro Pezzè	Self-Test Components for Highly Reconfigurable Systems.	TACoS	2003	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Raffaela Mirandola	Modeling and Analysis of Non-functional Properties in Component-based Systems.	TACoS	2003	DBLP DOI BibTeX RDF
1	Ana M. Roldán, Ernesto Pimentel 0001, Antonio Brogi	Safe Composition of Linda-based Components.	TACoS	2003	DBLP DOI BibTeX RDF
1	Hans-Gerhard Groß, Nikolas Mayer	Built-In Contract Testing in Component Integration Testing.	TACoS	2003	DBLP DOI BibTeX RDF
1	James Skene, Wolfgang Emmerich	Model Driven Performance Analysis of Enterprise Information Systems.	TACoS	2003	DBLP DOI BibTeX RDF
1	Charalampos Z. Patrikakis, Thomas Kalamaris, Vaios Kakavas	Performing integrated system tests using Malicious Component Insertion.	TACoS	2003	DBLP DOI BibTeX RDF
1	Alexander Pretschner	Compositional Generation of MC/DC Integration Test Suites.	TACoS	2003	DBLP DOI BibTeX RDF
1	Bartosz Lawniczek, Grzegorz Majka, Pawel Slowikowski, Krzysztof Zielinski, Slawomir Zielinski	Grid Infrastructure Monitoring Service Framework Jiro/JMX Based Implementation.	TACoS	2003	DBLP DOI BibTeX RDF
1	Reiko Heckel, Marc Lohmann	Towards Model-Driven Testing.	TACoS	2003	DBLP DOI BibTeX RDF
1	Henry Muccini, André van der Hoek	Towards Testing Product Line Architectures.	TACoS	2003	DBLP DOI BibTeX RDF
1	A. S. M. Sajeev, Bugi Wibowo	UML Modeling for Regression Testing of Component Based Systems.	TACoS	2003	DBLP DOI BibTeX RDF
1	Leonardo Mariani	A Fault Taxonomy for Component-Based Software.	TACoS	2003	DBLP DOI BibTeX RDF
1	Luigi Lavazza, Sandro Morasca, Angelo Morzenti	A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems.	TACoS	2003	DBLP DOI BibTeX RDF
1	Kiyohito Itoh, Hiromi Kobayashi	A Safety Mechanism Using Software Patterns.	TACoS	2003	DBLP DOI BibTeX RDF
1	Giuseppe Lipari, Enrico Bini, Gerhard Fohler	A Framework for Composing Real-Time Schedulers.	TACoS	2003	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Eda Marchetti, Andrea Polini	Integration of "Components" to Test Software Components.	TACoS	2003	DBLP DOI BibTeX RDF
1	Ismael Rodríguez, Fernando Rubio 0001	A Framework for Selecting Components Automatically: A First Approach.	TACoS	2003	DBLP DOI BibTeX RDF
1	Mauro Pezzè	Preface.	TACoS	2003	DBLP DOI BibTeX RDF
1	Alessandro Fantechi, Emilio Spinicci	Modelling and Validating a multiple-configuration railway signalling system using SDL.	TACoS	2003	DBLP DOI BibTeX RDF
1	Mauro Pezzè (eds.)	International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003	TACoS	2003	DBLP BibTeX RDF

Publications at "TACoS"( http://dblp.L3S.de/Venues/TACoS )