Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies von Dadeau, F., Gros, J.-Ph, Kouchnarenko, O.

Volltext

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

Volltext

Checking JML Specifications with B Machines von Bouquet, Fabrice, Dadeau, Frédéric, Groslambert, Julien

Volltext

How Symbolic Animation Can Help Designing an Efficient Formal Model von Bouquet, Fabrice, Dadeau, Frédéric, Legeard, Bruno

Volltext

JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP von Bouquet, Fabrice, Dadeau, Frédéric, Legeard, Bruno, Utting, Mark

Volltext

Mutation-Based Test Generation from Security Protocols in HLPSL von Dadeau, F, Héam, Pierre-Cyrille, Kheddam, R

Volltext

Grey-Box Testing and Verification of Java/JML von Dadeau, F., Peureux, F.

Volltext bestellen

Selective Test Generation Method for Evolving Critical Systems von Fourneret, E., Bouquet, F., Dadeau, F., Debricon, S.

Volltext bestellen

Grammar-Based Testing Using Realistic Domains in PHP von Enderlin, I., Dadeau, F., Giorgetti, A., Bouquet, F.

Volltext

Measuring a Java Test Suite Coverage Using JML Specifications von Dadeau, F., Ledru, Y., du Bousquet, L.

Volltext

A Case Study in Matching Test and Proof Coverage von Ledru, Y., du Bousquet, L., Dadeau, F., Allouti, F.

Volltext

Proving and Debugging Set-Based Specifications von Couchot, J.-F., Dadeau, F., Déharbe, D., Giorgetti, A., Ranise, S.

Volltext

Symbolic Animation of JML Specifications von Bouquet, Fabrice, Dadeau, Frédéric, Legeard, Bruno, Utting, Mark

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

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

Volltext