Cadre Formel pour le Test de Robustesse des Protocoles de Communication. (A Framework for Robustness Testing of Communicating Protocols). - Fares Saad-Khorchef (2006)

A framework and a tool for robustness testing of communicating software. - Fares Saad-Khorchef; Antoine Rollet; Richard Castanet (SAC, 2007)

A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis. - Antoine Rollet; Fares Saad-Khorchef (SERA, 2007)

Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. - Fares Saad-Khorchef; Ismail Berrada; Antoine Rollet; Richard Castanet (IICS, 2010)