 | 2010 |
| 4 |  | Fayçal Bessayah,
Ana R. Cavalli:
A Formal Passive Testing Approach for Checking Real Time Constraints.
QUATIC 2010: 274-279 |
| 3 |  | Fayçal Bessayah,
Ana R. Cavalli,
Willian Maja,
Eliane Martins,
Andre Willik Valenti:
A Fault Injection Tool for Testing Web Services Composition.
TAIC PART 2010: 137-146 |
| 2009 |
| 2 |  | Fayçal Bessayah,
Ana R. Cavalli,
Eliane Martins:
A formal approach for specification and verification of fault injection process.
Int. Conf. Interaction Sciences 2009: 883-890 |
| 2008 |
| 1 |  | Wissam Mallouli,
Fayçal Bessayah,
Ana R. Cavalli,
Azzedine Benameur:
Security Rules Specification and Analysis Based on Passive Testing.
GLOBECOM 2008: 2078-2083 |