Temporal property patterns for model-based testing from UML/OCL von Dadeau, Frédéric, Fourneret, Elizabeta, Bouchelaghem, Abir

Volltext

EWET: Data collection and interface for the genetic analysis of Echinococcus multilocularis based on EmsB microsatellite von Knapp, Jenny, Damy, Sylvie, Brillaud, Jonathan, Tissot, Jean-Daniel, Navion, Jérémy, Mélior, Raphael, Afonso, Eve, Hormaz, Vanessa, Gottstein, Bruno, Umhang, Gérald, Casulli, Adriano, Dadeau, Frédéric, Millon, Laurence, Raoul, Francis

Volltext

Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies von Dadeau, Frederic, Gros, Jean-Philippe, Kouchnarenko, Olga

Volltext

Complementary test selection criteria for model-based testing of security components von Botella, Julien, Capuron, Jean-François, Dadeau, Frédéric, Fourneret, Elizabeta, Legeard, Bruno, Schadle, Florence

Volltext

Model-based mutation testing from security protocols in HLPSL von Dadeau, Frédéric, Héam, Pierre-Cyrille, Kheddam, Rafik, Maatoug, Ghazi, Rusinowitch, Michael

Volltext

A compositional automata-based semantics and preserving transformation rules for testing property patterns von Taha, Safouan, Julliand, Jacques, Dadeau, Frédéric, Castillos, Kalou Cabrera, Kanso, Bilal

Volltext

Automated Generation of Initial Configurations for Testing Component Systems von Dadeau, Frédéric, Gros, Jean-Philippe, Kouchnarenko, Olga

Volltext

Automated Boundary Test Generation from JML Specifications von Bouquet, Fabrice, Dadeau, Frédéric, Legeard, Bruno

Volltext

Coverage Criteria for Model-Based Testing using Property Patterns von Castillos, Kalou Cabrera, Dadeau, Frédéric, Julliand, Jacques

Volltext

Testing adaptation policies for software components von Dadeau, Frédéric, Gros, Jean-Philippe, Kouchnarenko, Olga

Volltext

Scenario-based testing using symbolic animation of B models von Dadeau, Frédéric, Castillos, Kalou Cabrera, Tissot, Régis

Volltext

Scenario-based testing from UML/OCL behavioral models: Application to POSIX compliance von Castillos, Kalou Cabrera, Dadeau, Frédéric, Julliand, Jacques

Volltext

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests von Cabrera Castillos, Kalou, Dadeau, Frédéric, Julliand, Jacques, Taha, Safouan

Volltext

Contract-based testing for PHP with Praspel von Dadeau, Frederic, Giorgetti, Alain, Bouquet, Fabrice, Enderlin, Ivan

Volltext

Safety Property Driven Test Generation from JML Specifications von Bouquet, Fabrice, Dadeau, Frédéric, Groslambert, Julien, Julliand, Jacques

Volltext

Building a Test-Ready Abstraction of a Behavioral Model Using CLP von Bué, Pierre-Christophe, Dadeau, Frédéric, de Kermadec, Adrien, Bouquet, Fabrice

Volltext

Praspel: A Specification Language for Contract-Based Testing in PHP von Enderlin, Ivan, Dadeau, Frédéric, Giorgetti, Alain, Ben Othman, Abdallah

Volltext

Model-Based Filtering of Combinatorial Test Suites von Triki, Taha, Ledru, Yves, du Bousquet, Lydie, Dadeau, Frédéric, Botella, Julien

Volltext

jSynoPSys – A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines von Dadeau, Frédéric, Tissot, Régis

Volltext

Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance von Dadeau, Frédéric, De Kermadec, Adrien, Tissot, Régis

Volltext