Text this: Podpora testovania v distribuovaných reaktívnych systémoch založená na identifikácii diagramov sekvencií