| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstractions for Model-Based Testing
|
Prenninger, Wolfgang
|
|
2005
|
116 |
C |
p. 59-71
13 p.
|
artikel
|
| 2 |
A Compositional Framework for Formally Verifying Modular Systems
|
Furia, Carlo A.
|
|
2005
|
116 |
C |
p. 185-198
14 p.
|
artikel
|
| 3 |
A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems
|
Baldini, Andrea
|
|
2005
|
116 |
C |
p. 45-57
13 p.
|
artikel
|
| 4 |
A Dual Language Approach to the Development of Time-Critical Systems
|
Lavazza, Luigi
|
|
2005
|
116 |
C |
p. 227-239
13 p.
|
artikel
|
| 5 |
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures
|
Cortellessa, V.
|
|
2005
|
116 |
C |
p. 31-44
14 p.
|
artikel
|
| 6 |
A Hierarchical Framework for Component-based Real-time Systems
|
Lipari, Giuseppe
|
|
2005
|
116 |
C |
p. 253-266
14 p.
|
artikel
|
| 7 |
An Approach to Behavioral Subtyping Based on Static Analysis
|
Logozzo, Francesco
|
|
2005
|
116 |
C |
p. 157-170
14 p.
|
artikel
|
| 8 |
A Technique for Verifying Component-Based Software
|
Mariani, Leonardo
|
|
2005
|
116 |
C |
p. 17-30
14 p.
|
artikel
|
| 9 |
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples
|
Fantechi, A.
|
|
2005
|
116 |
C |
p. 199-211
13 p.
|
artikel
|
| 10 |
From UML models to automatic generated tests for the dotLRN e-learning platform
|
Cavalli, Ana
|
|
2005
|
116 |
C |
p. 133-144
12 p.
|
artikel
|
| 11 |
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
|
Bertolino, A.
|
|
2005
|
116 |
C |
p. 85-97
13 p.
|
artikel
|
| 12 |
Introducing Test Automation and Test-Driven Development: An Experience Report
|
Damm, Lars-Ola
|
|
2005
|
116 |
C |
p. 3-15
13 p.
|
artikel
|
| 13 |
Preface
|
Pezzé, Mauro
|
|
2005
|
116 |
C |
p. 1-2
2 p.
|
artikel
|
| 14 |
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems
|
Pezzè, Mauro
|
|
2005
|
116 |
C |
p. 113-131
19 p.
|
artikel
|
| 15 |
Testability Analysis of Data-Flow Software
|
Nguyen, Thanh Binh
|
|
2005
|
116 |
C |
p. 213-225
13 p.
|
artikel
|
| 16 |
Towards Contract-based Testing of Web Services
|
Heckel, Reiko
|
|
2005
|
116 |
C |
p. 145-156
12 p.
|
artikel
|
| 17 |
Towards Testing and Analysis of Systems that Use Serialization
|
Denaro, Giovanni
|
|
2005
|
116 |
C |
p. 171-184
14 p.
|
artikel
|
| 18 |
Toward Translating Design Constraints to Run-Time Assertions
|
Baresi, Luciano
|
|
2005
|
116 |
C |
p. 73-84
12 p.
|
artikel
|
| 19 |
Validating Component Integration with C-TILCO
|
Bellini, P.
|
|
2005
|
116 |
C |
p. 241-252
12 p.
|
artikel
|
| 20 |
Validation Coverage for a Component-based SDL model of a Railway Signaling System
|
Banci, M.
|
|
2005
|
116 |
C |
p. 99-111
13 p.
|
artikel
|
Tijdschrift beschrijving