Constraint-Based Oracles for Timed Distributed Systems. - Nassim Benharrat; Christophe Gaston; Robert M. Hierons; Arnault Lapitre; Pascale Le Gall (ICTSS, 2017)

Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem. (Test à base de modèles de systèmes temporisés distribués : une approche basée sur les contraintes pour résoudre le problème de l'oracle). - Nassim Benharrat (2018)