1. Introductory paper

   • Tiziana Margaria

   Special section on high-level test of complex systems 22 July 2005 Pages: 293 - 296

2. TGV: theory, principles and algorithms

   • Claude Jard
   • Thierry Jéron

   Special section on high-level test of complex systems 20 October 2004 Pages: 297 - 315

3. Test distribution: a solution for complex network system testing

   • César Viho

   Special section on high-level test of complex systems 15 February 2005 Pages: 316 - 325

4. System-level functional testing from UML specifications in end-of-production industrial environments

   • Andrea Baldini
   • Alfredo Benso
   • Paolo Prinetto

   Special section on high-level test of complex systems 01 July 2004 Pages: 326 - 340

5. Live sequence charts applied to hardware requirements specification and verification

   • Annette Bunker
   • Ganesh Gopalakrishnan
   • Konrad Slind

   Special section on high-level test of complex systems 29 October 2004 Pages: 341 - 350

6. Distributed functional and load tests for Web services

   • Ina Schieferdecker
   • George Din
   • Dimitrios Apostolidis

   Special section on high-level test of complex systems 25 January 2005 Pages: 351 - 360

7. Test generation for radiotherapy accelerators

   • Kenneth J. Turner

   Special section on high-level test of complex systems 29 October 2004 Pages: 361 - 375

8. Practical quality assurance for standards-based, high-availability middleware

   • Bartholomäus Kellerer
   • Manfred Reitenspiess

   Industrial contribution 15 February 2005 Pages: 376 - 387