| 1 | -- | 3 | Jeff Offutt. Editorial: The journal impact factor |
| 5 | -- | 28 | Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani. Modular formal verification of specifications of concurrent systems |
| 29 | -- | 49 | Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. Simulated time for host-based testing with TTCN-3 |
| 51 | -- | 68 | Lihua Duan, Jessica Chen. Error-preserving reductions on communication protocols |