13 citations · 20 across the 9 of their papers we have counts for
1 paper · 1 filter
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…