Distributed Testing of Multicomponent Systems

This paper features an approach that brings together testing of multicomponent systems, formal requirement specifications and automated test suit generation in a one technology.