While the evaluation is performed on the XC language, this does not restrict the general applicability of the proposed new coverage model.
This evaluation provides results that are generally applicable to programming languages based on the message-passing paradigm.