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
Knowledge Graph Refinement based on Triplet BERT-N
Gestion de données du Web
Monday 29 November 2021 - 13h00
Salle : 455 - PCRI-N
Armita Khajeh Nassiri .............................................

A Hyper-graph Approach for Computing EL+-Ontology
Raisonnement automatique
Monday 15 November 2021 - 13h00
Salle : 445 - PCRI-N
Hui Yang .............................................

Semantic approaches to predict the presence of asb
Intégration de données et de connaissances
Monday 08 November 2021 - 13h00
Salle : 455 - PCRI-N
Thamer Mecharnia .............................................

Pierre Andrieu - Agrégation de classements pour le
Thursday 21 October 2021 - 00h00
Salle : 435 - PCRI-N
.............................................

A counting argument for graph colouring
Théorie des graphes
Friday 08 October 2021 - 11h00
Salle : 445 - PCRI-N
Francois Pirot .............................................