3 citations · 3 across the 1 of their papers we have counts for
1 paper
Alex Coto, Roberto Guanciale, Emilio Tuosto
We initiate the development of a model-driven testing framework for message-passing systems. The notion of test for communicating systems cannot simply be borrowed from existing pr…