System-level Test and Validation of Hardware/Software Systems

1. Introduction
Z. Peng, M. Sonza Reorda, M. Violante

2. Modeling Permanent Faults
J. P. Teixeira

3. Test Generation: A Symbolic Approach
F. Fummi, G. Pravadelli

4. Test Generation: A Heuristic Approach
O. Goloubeva, M. Sonza Reorda, M. Violante

5. Test Generation: A Hierarchical Approach
G. Jervan, R. Ubar, Z. Peng, P. Eles

6. Test Program Generation from High-level Microprocessor Descriptions
E. Sánchez, M. Sonza Reorda, G. Squillero

7. Tackling Concurrency and Timing Problems
I. G. Harris

8. An Approach to System-level Design for Test
G. Jervan, R. Ubar, Z. Peng, P. Eles

9. System-level Dependability Analysis
A. Bobbio, D. Codetta Raiteri, M. Pierro, G. Franceschinis

DRM-restrictions

Printing: not available
Clipboard copying: not available

Avainsanat: TECHNOLOGY & ENGINEERING / General TEC000000