For Programmers: Free Programming Magazines  


Home > Archive > Software Testing > September 2006 > Workshop on Constraints in Software Testing, Verification and Analysis









You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

 

Author Workshop on Constraints in Software Testing, Verification and Analysis
Arnaud Gotlieb

2006-09-11, 4:14 am

The workshop "Constraints in Software Testing, Verification
and Analysis" (CSTVA'06) will be held during CP'06 on
Sep. 25, 2006 in Nantes.

The program will include an invited talk of Andy King "On
Modular-Reduction Vulnerabilities", two sessions, six paper
presentations and a short introduction to the V3F project.

The detailed program and the procedings are available on
the website www.irisa.fr/manifestations/2006/CSTVA06/index.htm

Hope to see you in Nantes in a few ws,
Best regards,

Arnaud Gotlieb
Sponsored Links







Also available: Server administration forum archive | Web Design forum archive | Software forum archive | Hardware reviews archive

Copyright 2008 codecomments.com