Conformance Testing of Distributed Concurrent Systems with Executable Designs

B. K. Aichernig, A. Griesmayer, E. B. Johnsen, R. Schlatte, and A. Stam

Abstract:

Reference: B. K. Aichernig, A. Griesmayer, E. B. Johnsen, R. Schlatte, and A. Stam. Conformance testing of distributed concurrent systems with executable designs. In Formal Methods for Components and Objects, pages 61-81. Springer-Verlag, Berlin, Heidelberg, 2009.