Special section on high-level test of complex systems

• 293-296

  Special section on high-level test of complex systems

  Introductory paper

  Tiziana Margaria

  • Download PDF (237.3 KB)

• 297-315

  Special section on high-level test of complex systems

  TGV: theory, principles and algorithms
  A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

  Claude Jard and Thierry Jéron

  • Download PDF (982.1 KB)

• 316-325

  Special section on high-level test of complex systems

  Test distribution: a solution for complex network system testing

  César Viho

  • Download PDF (1.5 MB)

• 326-340

  Special section on high-level test of complex systems

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

  Andrea Baldini, Alfredo Benso and Paolo Prinetto

  • Download PDF (462.1 KB)

• 341-350

  Special section on high-level test of complex systems

  Live sequence charts applied to hardware requirements specification and verification
  A VCI bus interface model

  Annette Bunker, Ganesh Gopalakrishnan and Konrad Slind

  • Download PDF (810.3 KB)

• 351-360

  Special section on high-level test of complex systems

  Distributed functional and load tests for Web services

  Ina Schieferdecker, George Din and Dimitrios Apostolidis

  • Download PDF (2.0 MB)

• 361-375

  Special section on high-level test of complex systems

  Test generation for radiotherapy accelerators

  Kenneth J. Turner

  • Download PDF (1.0 MB)

• 376-387

  Industrial contribution

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

  Bartholomäus Kellerer and Manfred Reitenspiess

  • Download PDF (1.3 MB)

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info