#Bilal kanso verification#

Automated UML models merging for web services testing. Vincent Pretre, Adrien de Kermadec, Fabrice Bouquet, Christophe Lang and Frédéric Dadeau. TSI, Technique et Science Informatiques, 28(4):533-563, April 2009. Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. Note: Special Issue on Verified Software: Tools, Theory and Experiments (VSTTE'09).įrédéric Dadeau, Amal Haddad, and Thierry. STTT, International Journal on Software Tools for Technology Transfer, 13(5):431-448, 2011. Scenario-Based Testing from UML/OCL Behavioral Models - Application to POSIX Compliance. Kalou Cabrera Castillos, Frédéric Dadeau, and Jacques Julliand.

#Bilal kanso verification#

Software Testing, Verification and Reliability, 22(6):407-434, September 2012. Scenario-Based Testing using Symbolic Animation of B Models. Note: Revised and extended version of a paper from the iFM'13 conference.įrédéric Dadeau, Kalou Cabrera Castillos, and Régis Tissot. A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns.

Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, and Bilal Kanso.

Software Testing, Verification and Reliability. Model-Based Mutation Testing from Security Protocols in HLPSL. CRC Press, 2011.įrédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam, Ghazi Maatoug, and Michael Rusinowitch.

In Model-Based Testing for Embedded Systems, Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, pages 195-218. Test Generation using Symbolic Animation of Models.

AFADL'15, Actes des 14èmes journèes sur les Approches Formelles dans l'Assistance au Developpement de Logiciels, Bordeaux, France, May 2015.įrédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, and Fabrice Bouquet. Frédéric Dadeau and Pascale Le Gall, editors.Une liste complète de mes publications peut être trouvée à l'adresse Actes de conférence