Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. In Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado, editors, Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings. Volume 6435 of Lecture Notes in Computer Science, pages 30-46, Springer, 2010. [doi]
Abstract is missing.