CSTVA 2010 - 2nd Workshop on Constraints in Software Testing, Verification and Analysis


		CSTVA 2010 \| Organization \| Important Dates \| Accepted Papers
		Workshop Co-Organizers Gordon Fraser, Saarland University, Germany Arnaud Gotlieb, INRIA – Rennes, France Claude Michel, University of Nice, France Alexander Pretschner, Fraunhofer IESE, Germany Program Committee Benoit Baudry, INRIA – Rennes, France Sebastien Bardin, CEA – Saclay, France Cristian Cadar, Imperial college, UK Hélène Collavizza, University of Nice, France Frédéric Dadeau, Université de Franche-Comté, France Catherine Dubois, Ensiie, France Youssef Hamadi, Microsoft Research, USA Sarfraz Khurshid, University of Texas at Austin, USA Michel Leconte, ILOG Gentilly, France Bruno Marre, CEA – Saclay, France Darko Marinov, University of Illinois, USA Matthieu Petit, University of Roskilde, Denmark Nikolai Tillmann, Microsoft Research, USA Nicky Williams, CEA – Saclay, France