Rechercher

[PP02] Utilisation de contraintes pertinentes pour la génération automatique de jeux de tests

Rapport Scientifique : Date de dépot: 2002/01/01, (Tech. Rep.: CEDRIC-02-412)

Auteurs: J. Printz , J. Pradat-Peyre

motcle:
Résumé: Ce rapport fait une synthèse des travaux menés dans le cadre de l'opération 4 de l'action FORMA ("Maîtrise de systèmes complexes réactifs et sûrs"). Nous y présentons les différentes points abordés ainsi que les résultats obtenus.

Commentaires: Rapport final de la seconde phase de l'opération 4 de l'action FORMA en partenariat avec THALES Airborn Systems; financement DGA, contrat 99-34-027 passé par le service des stratégies techniques et des technologies communes de la direction des systèmes de forces et de la prospective. Accecpté pour publication dans la revue "Génie Logiciel", numéro 68, Mars 2004

BibTeX

@techreport {
PP02,
title="{Utilisation de contraintes pertinentes pour la génération automatique de jeux de tests}",
author="J. Printz and J. Pradat-Peyre",
number="{CEDRIC-02-412}",
institution="{CEDRIC laboratory, CNAM-Paris, France}",
date={01-01-2002},
note="{Rapport final de la seconde phase de l'opération 4 de l'action FORMA en partenariat avec THALES Airborn Systems; financement DGA, contrat 99-34-027 passé par le service des stratégies techniques et des technologies communes de la direction des systèmes de forces et de la prospective. Accecpté pour publication dans la revue "Génie Logiciel", numéro 68, Mars 2004}",
}