Revue avec comité de lecture

1. Génération automatique de cas de test structurels avec les techniques de programmation par contraintes
   Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert,
   Article accepté pour publication à la revue Technique et Science Informatique, Hermes Sciences Publications (26p).