Auteurs
Corpus
Hal
Racine
Corpus
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « Auteurs » - entrée « Bruno Legeard »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Bruno Le Heup < Bruno Legeard < Bruno Leheup  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
000C38 (2010) Pierre-Alain Masson ; Marie-Laure Potet ; Jacques Julliand ; Régis Tissot ; Fabrice Bouquet ; Bruno Legeard ; Eddie Jaffuel ; Boutheina Chetali ; June Andronick ; Amal HaddadAn Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
000F40 (2013-07-01) Fabrice Ambert ; Fabrice Bouquet ; Jonathan Lasalle ; Bruno Legeard ; Fabien PeureuxApplying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
000F41 (2012-11-18) Fabrice Ambert ; Fabrice Bouquet ; Jonathan Lasalle ; Bruno Legeard ; Fabien PeureuxApplying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
001054 (2006-08) Fabrice Bouquet ; Frédéric Dadeau ; Bruno LegeardAutomated Boundary Test Generation from JML Specifications
001E69 (2014-12) Alexandre Vernotte ; Frédéric Dadeau ; Franck Lebeau ; Bruno Legeard ; Fabien Peureux ; François PiatEfficient Detection of Multi-step Cross-Site Scripting Vulnerabilities
002450 (2009-03-23) Stéphane Debricon ; Fabrice Bouquet ; Bruno LegeardFrom Business Processes to Integration Testing
002827 (2005-11) Fabrice Bouquet ; Frédéric Dadeau ; Bruno LegeardHow Symbolic Animation can help designing an Efficient Formal Model
002D17 (2005-04) Fabrice Bouquet ; Frédéric Dadeau ; Bruno Legeard ; Marc UttingJML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP
004404 (2014-06-30) Elizabeta Fourneret ; Jérome Cantenot ; Fabrice Bouquet ; Bruno Legeard ; Julien BotellaSeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models
004946 (2005-07) Fabrice Bouquet ; Frédéric Dadeau ; Bruno Legeard ; Marc UttingSymbolic Animation of JML Specifications
004977 (2011) Jonathan Lasalle ; Fabrice Bouquet ; Bruno Legeard ; Fabien PeureuxSysML to UML model transformation for test generation purpose
004992 (2012) Kalou Cabrera Castillos ; Frédéric Dadeau ; Yves Ledru ; Lydie Du Bousquet ; Taha Triki ; Safouan Taha ; Bruno Legeard ; Julien Botella ; Boutheina Chetali ; Bernet Julien ; David RouillardTASCCC - Project and Testing Tool (poster and demo)
004A62 (2011-09) Frédéric Dadeau ; Fabien Peureux ; Bruno Legeard ; Régis Tissot ; Jacques Julliand ; Pierre-Alain Masson ; Fabrice BouquetTest Generation using Symbolic Animation of Models
005118 (2005-07) Fabrice Bouquet ; Frédéric Dadeau ; Bruno LegeardUsing Constraint Logic Programming for the Symbolic Animation of Formal Models
005D73 (2011-11-15) Fabrice Bouquet ; Bruno Legeard ; Natacha PickaertIndustrialiser le test fonctionnel Pour maîtriser les risques métier et accroître l'efficacité du test
005D74 (2009-04-08) Bruno Legeard ; Fabrice Bouquet ; Pickaert NatachaIndustrialiser le test fonctionnel
006C40 (2010) Frédéric Fondement ; P-A. Muller ; Brice Wittmann ; Fabrice Ambert ; Fabrice Bouquet ; Jonathan Lasalle ; Emilie Oudot ; Fabien Peureux ; Bruno Legeard ; M. Alter ; C. ScherrerVETESS : IDM, Test et SysML

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Bruno Legeard" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Bruno Legeard" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Bruno Legeard
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022