Testing for Coordination Fidelity.

Published in: Models, Languages, and Tools for Concurrent and Distributed Programming (2019)