Fares Saad-Khorchef

According to our database, Fares Saad-Khorchef authored at least 4 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols.

Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet

Proceedings of the 10th International Conference on Innovative Internet Community Services (I²CS), 2010

2007

A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis.

Antoine Rollet, Fares Saad-Khorchef

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

A framework and a tool for robustness testing of communicating software.

Fares Saad-Khorchef, Antoine Rollet, Richard Castanet

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006

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

Fares Saad-Khorchef

PhD thesis, 2006