Search the dblp DataBase

Publications of Author

1. Sébastien Salva, Hacène Fouchal
   Some Parameters for Timed System Testability. [Citation Graph (0, 0)][DBLP]
   AICCSA, 2001, pp:335-0 [Conf]
   
2. Patrice Laurençot, Sébastien Salva
   Testing Mobile and Distributed Systems: Method and Experimentation. [Citation Graph (0, 0)][DBLP]
   OPODIS, 2004, pp:37-51 [Conf]
   
3. Sébastien Salva
   Testing temporal and behavior events on timed systems with timed test purposes. [Citation Graph (0, 0)][DBLP]
   OPODIS, 2002, pp:73-84 [Conf]
   
4. Sébastien Salva, Hacène Fouchal, S. Bloch
   Metrics for Timed Systems Testing. [Citation Graph (0, 0)][DBLP]
   OPODIS, 2000, pp:177-200 [Conf]
   
5. Hacène Fouchal, Eric Petitjean, Sébastien Salva
   Testing timed systems with timed purposes. [Citation Graph (0, 0)][DBLP]
   RTCSA, 2000, pp:166-171 [Conf]
   
6. 
   A BPEL Observability Enhancement Method. [Citation Graph (, )][DBLP]
   
   
7. 
   WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. [Citation Graph (, )][DBLP]
   
   
8. 
   Testing robustness of communicating systems using ioco-based approach. [Citation Graph (, )][DBLP]
   
   
9. 
   Automatic Ajax Application Testing. [Citation Graph (, )][DBLP]
   
   
10. 
    Web Service Call Parallelization Using OpenMP. [Citation Graph (, )][DBLP]