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.
