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. 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
0 Comments
Leave a Reply. |