Group Talks

Testing BPMN Web Services with HOL-TestGen 

Achim Brucker

Mer. 02 Mai 2012 - 14

 

ANR Paral-ITP, Kick-off meeting

Mer. 02 novembre 2011 - 09h00

Translating Z
Petra Malik
Ven. 21 octobre 2011 - 15h00

Freedom Before Commitment – A Lightweight Type System for Object Initialization
Peter Muller
Ven. 14 octobre 2011 - 11h00

Exploiting SMT counterexamples for constraint solving in Isabelle
Matthias Krieger
Mar. 06 septembre 2011 - 14h00

Realizability of Choreographies using Process Algebra Encodings
Gwen Salaün
Lun. 28 mars 2011 - 15h45

Formal testing of probabilistic processes: Two different perspectives
Manuel Nunez
Mer. 14 avril 2010 - 14h00

Testing a probabilistic FSM using interval estimation
Iksoon Hwang
Jeu. 18 mars 2010 - 14h00

SMT and Isabelle/HOL, Bat. I INRIA
Sascha Böhme (TU München)
Mer. 09 septembre 2009 - 14h00

Testing for Refinement in Circus
Ana Calvacanti
Mer. 29 avril 2009 - 14h00

Test Purpose Concretization through Symbolic Action Refinement
Christophe Gaston
Mer. 24 septembre 2008 - 14h00

Critères de couverture pour les programmes Lustre
Virginia Papailiopoulou
Mer. 09 juillet 2008 - 14h00

Intégration d'une approche de génération de tests fonctionnels dans le processus de développement.
Fabrice Bouquet
Mer. 13 février 2008 - 14h00

Test-Sequence Generation with HOL-TestGen, with an Application to Firewall Testing
Burkhart Wolff
Jeu. 17 janvier 2008 - 14h30

You are here Publications Group Talks