Model-based testing of global properties on large-scale distributed systems

Gerson Sunyé, Eduardo Cunha de Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel. Model-based testing of global properties on large-scale distributed systems. Information \& Software Technology, 56(7):749-762, 2014. [doi]

Abstract

Abstract is missing.