Fares Saad-Khorchef

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet
Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. IICS (2010)
Antoine Rollet, Fares Saad-Khorchef
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis. SERA (2007)
Fares Saad-Khorchef, Antoine Rollet, Richard Castanet
A framework and a tool for robustness testing of communicating software. SAC (2007)