Characterizing and Ordering Errors Detected by Conformance Testing. - Khalil Drira; Pierre Azéma; B. Soulas; A. M. Chemali (Protocol Test Systems, 1992)

A Formal Assessment of Synchronous Testability for Communicating Systems. - Khalil Drira; Pierre Azéma; B. Soulas; A. M. Chemali (ICDCS, 1993)

Testability of a Communicating System Through an Environment. - Khalil Drira; Pierre Azéma; B. Soulas; A. M. Chemali (TAPSOFT, 1993)