Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Generation of test sequences for web-services in HOL-TestGen
Achim Brucker

02 May 2012, 14:00 - 02 May 2012, 15:00
Salle/Bat : 435/PCRI-N
Contact :

Activités de recherche :

Résumé :
The Monadic Combinator Library in HOL-TestGen offers a particular approach to Test-Sequence Generation and Test-Sequence Execution. After a bief revision on these foundations, a test-execution schema is outlined that has been used for the generation of test-drivers for web-applications in the NPfIT Case Study.

Pour en savoir plus :
Séminaires
Pierre Andrieu - Agrégation de classements pour le
Thursday 21 October 2021 - 00:00
Salle : 435 - PCRI-N
.............................................

A counting argument for graph colouring
Graph Theory
Friday 08 October 2021 - 11:00
Salle : 445 - PCRI-N
Francois Pirot .............................................

Demographic reconstruction from paleogenomes of th
Thursday 25 February 2021 - 14:00
Salle : 435 - PCRI-N
Nina Marchi .............................................

A Graph-based Similarity Approach to Classify Recu
Thursday 18 February 2021 - 14:00
Salle : 435 - PCRI-N
Coline Gianfrotta .............................................

"Answer Set Programming for computing constraints-
Thursday 04 February 2021 - 14:00
Salle : 435 - PCRI-N
Maxime Mahout .............................................