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
