More testable properties

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties. STTT, 14(4):407-437, 2012. [doi]

Abstract

Abstract is missing.