Publications of Farid Ouabdesselam

Load the BibTeX file

Books

1. B. Marre, F. Ouabdesselam. Numéro spécial - Test de logiciel. Volume 21(9), Technique et Science Informatiques, 2002.

Academic Journals

1. Y. Le Traon, F. Ouabdesselam, C. Robach, B. Baudry. From Diagnosis to Diagnosability: Axomatisation, Measurement and Application. Journal of Systems and Software, 65(1):33-50, January 2003.
2. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Feature interaction detection using synchronous approach and testing. Computer Networks and ISDN Systems, 32(4):419-431, April 2000.
3. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Test et approche synchrone pour la détection d'interactions de services téléphoniques. Calculateurs Parallèles, Réseaux et Systèmes répartis, 11(4):419-446, December 1999.

International Conferences

1. F. Ouabdesselam. Testing Synchronous Reactive Software Against Formal Properties. In 16th IFIP International Conference, TestCom 2004, Invited Talk, Oxford, UK, March 2004.
2. F. Ouabdesselam. Black-box Testing of Reactive Synchronous Software. In Worshop on Testing Real-Time and Embedded Systems, FME 2003, Invited Talk, Pise, September 2003.
3. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Testing about some eventuality properties of synchronous software: a case study. In Synchronous Languages, Applications, and Programming (SLAP'03), Pages 105-121, July 2003.
4. K. Berkani, R. Cave, S. Coudert, F. Klay, P. Le Gall, F. Ouabdesselam, J.-L. Richier. An Environment for Interactive Service Specification. In 7th International Workshop on Feature Interactions in Telecommunication and Software Systems (FIW'03), Pages 25-41, Ottawa, June 2003.
5. F. Ouabdesselam. Approaches and Tools for Synchronous System Testing. In Workshop on Formal design of Safety Critical Embedded Systems (FEMSYS), Invited Talk, Munich, Germany, March 2001.
6. Y. Le Traon, F. Ouabdesselam, C. Robach. Analyzing Testability on Data Flow Designs. In 11th International Symposium on Software Reliability Engineering (ISSRE'00), San Jose, October 2000.
7. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Specification-based Testing of Synchronous Software. In 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'2000), S. Gnesi, I. Schieferdecker, A. Rennoch (eds.), Pages 123-139, Berlin, April 2000.
8. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering (ICSE'99), Pages 267-276, Los Angeles, May 1999.
9. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess : a testing environment for synchronous software. In Tool support for System Specification, Development, and Verification, Advances in Computing Science (TOOLS'98), Pages 48-61, Malente, Germany, 1998.
10. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Expressing and implementing operational profiles for reactive software validation. In 9th International Symposium on Software Reliability Engineering (ISSRE'98), Pages 222-230, Paderborn, Germany, November 1998.
11. Y. Le Traon, F. Ouabdesselam, C. Robach. Software Diagnosability. In 9th International Symposium on Software Reliability Engineering (ISSRE'98), Pages 257-266, Paderborn, Germany, November 1998.
12. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Incremental feature validation : a synchronous point of view. In Feature Interactions in Telecommunication Systems V (FIW'98), Pages 262-275, Lund, Suède, October 1998.
13. I. Parissis, F. Ouabdesselam. Specification-based Testing of Synchronous Software. In Proceedings of the ACM Sigsoft96' 4th Symposium on the Foundations of Software Engineering, San Francisco, October 1996.
14. F. Ouabdesselam, I. Parissis. Testing Techniques for Data-Flow Synchronous Programs. In 2nd International Workshop on Automated and Algorithmic Debugging, Saint Malo, France, 1995.
15. F. Ouabdesselam, I. Parissis. Constructing Operational Profiles for Synchronous Critical Software. In 6th International Symposium on Software Reliability Engineering, Toulouse, France, 1995.

National conferences or workshops

1. A. Lakehal, F. Ouabdesselam, I. Parissis, J. Vassy. Models for Synchronous Software Testing. In MoDeVa Workshop (satellite event of ISSRE'04), Pages 41-50, Rennes, France, November 2004.
2. G. Bernot, H. Jouve, F. Klay, F. Ouabdesselam, J.-L. Richier. Aide à l'intégration de services par la génération de tests. In 3ème atelier AFADL, Pages 9-20, Grenoble, January 2000.
3. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess: a validation tool for synchronous software. In International Workshop Tool Support for System Specification, Development and Verification, Malente, Allemagne, 1998.
4. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Telecommunication software validation using a synchronous approach. In First IEEE Workshop on Application-Specific Software Engineering and Technology (ASSET'98), Article court, Dallas, USA, March 1998.
5. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Environnement pour le test d'applications synchrones. In 2ème Congrès sur la Modélisation des systèmes réactifs, Pages 51-60, Cachan, France, March 1998.
6. I. Parissis, F. Ouabdesselam. Techniques de Test pour des Logiciels Réactifs Synchrones. In Modélisation des Systèmes Réactifs, AFCET, Brest, France, 1996.
7. B. Ferrari, F. Ouabdesselam, C. Robach. Évaluation de la testabilité du logiciel. In 10ème Colloque National de Fiabilité et Maintenabilité, Saint-Malo, France, 1996.

Other communications

1. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, J. Vassy, N. Zuanon. Black-box testing of reactive synchronous software. SoftTest: UK Testing Research II, September 2003.
2. Farid Ouabdesselam. A Survey of Testing in a Synchronous Context. World Congress on Formal Methods in the Development Computing Systems. Industrial track on testing. Invited talk, Toulouse (France), October 1999.
3. Farid Ouabdesselam. Testing Techniques for Synchronous Software. Dagsthul Seminar Report 223, September 1998.
4. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Validation incrémentale de spécifications de services. Séminaire de mi-parcours des CTI 95, CNET Issy, October 1997.
5. B. Ferrari, F. Ouabdesselam, C. Robach. La testabilité du logiciel comme critère de qualité. Séminaire de l'action scientifique CTI 93, CNET Issy, March 1997.