Model-Based Testing of Global Properties on Large-Scale Distributed Systems

Abstract

Publication
Information and Software Technology, Elsevier
Date