Fault Models in Testing. - Gregor von Bochmann; Anindya Das; Rachida Dssouli; Martin Dubuc; Abderrazak Ghedamsi; Gang Luo (Protocol Test Systems, 1991)

Test Selection Based on Finite State Models. - Susumu Fujiwara; Gregor von Bochmann; Ferhat Khendek; Mokhtar Amalou; Abderrazak Ghedamsi (IEEE Trans. Software Eng., 1991)

Test Result Analysis and Diagnostics for Finite State Machines. - Abderrazak Ghedamsi; Gregor von Bochmann (ICDCS, 1992)

Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. - Abderrazak Ghedamsi; Rachida Dssouli; Gregor von Bochmann (Protocol Test Systems, 1992)

Diagnosis of Single Transition Faults in Communicating Finite State Machines. - Abderrazak Ghedamsi; Gregor von Bochmann; Rachida Dssouli (ICDCS, 1993)

Multiple Fault Diagnostics for Finite State Machines. - Abderrazak Ghedamsi; Gregor von Bochmann; Rachida Dssouli (INFOCOM, 1993)

Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. - Gang Luo; Rachida Dssouli; Gregor von Bochmann; Pallapa Venkataram; Abderrazak Ghedamsi (Protocol Test Systems, 1993)

A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs. - Kamel Karoui; Abderrazak Ghedamsi; Rachida Dssouli (ISCC, 1999)

Diagnostic Tests for Communicating Nondeterministic Finite State Machines. - Rim Belhassine-Cherif; Abderrazak Ghedamsi (ISCC, 2000)

Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines. - Rim Belhassine-Cherif; Abderrazak Ghedamsi (ISCC, 2001)