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, 14h00 - 02 May 2012, 15h00
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
A Family of Tractable Graph Distances
Gestion de données du Web
Wednesday 04 July 2018 - 10h30
Salle : 465 - PCRI-N
Stratis Ioannidis .............................................

Binary pattern of length greater than 14 are abeli
Combinatoire
Friday 29 June 2018 - 14h30
Salle : 445 - PCRI-N
Matthieu Rosenfeld .............................................

Distributionally Robust Optimization with Principa
Optimisation combinatoire et stochastique
Friday 29 June 2018 - 11h00
Salle : 455 - PCRI-N
Dr. Jianqiang Cheng .............................................

Caractérisation de réseaux égocentrés par l'énumér
Friday 15 June 2018 - 14h30
Salle : 455 - PCRI-N
Raphaël Charbey .............................................

DATA VERACITY ASSESSMENT: HOW A-PRIORI KNOWLEDGE E
Intégration de données et de connaissances
Friday 15 June 2018 - 14h00
Salle : 445 - PCRI-N
Valentina Beretta .............................................