| 1 | -- | 2 | Ian G. Harris, Franco Fummi. Guest Editor s Introduction |
| 3 | -- | 27 | Xi Chen, Harry Hsieh, Felice Balarin. Verification Approach of Metropolis Design Framework for Embedded Systems |
| 29 | -- | 59 | Samar Abdi, Daniel Gajski. Verification of System Level Model Transformations |
| 61 | -- | 91 | David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan. Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions |
| 93 | -- | 109 | Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero. Efficient Techniques for Automatic Verification-Oriented Test Set Optimization |