[ecoop-info] Call for Participation: TAP

[Lisa(Ling) Liu]

TAP: Tests and Proofs 2007: Call for Participation

		ETH Zurich, Switzerland
		12-13 February 2007
	
		http://tap.ethz.ch/



Preliminary program of TAP 2007 is available online at:
http://tap.ethz.ch/conference.html

Registration of TAP 2007: http://tap.ethz.ch/register.html


ABOUT TAP

The TAP conference is a first conference that entirely focuses on
combining test and proof techniques to improve software quality. It is a
perfect occasion to discover the state of the art on the convergence of
tests and proofs.
Possible topics include (as an indicative rather than exhaustive list):
     * Generation of test cases or oracles by theorem proving
     * Generation of test cases or oracles by constraint logic programming
     * Generation of test cases or oracles by model checking
     * Generation of test cases or oracles by symbolic execution
     * Program proving with the aid of testing techniques
     * Automatic tools
     * Case studies
     * Formal frameworks
     * Verification techniques combining proofs and tests
     * Experience reports on these topics



PROGRAM CO-CHAIR

Conference chair: Bertrand Meyer, ETH Zurich
Program chair: Yuri Gurevich, Microsoft Research, USA


KEYNOTE SPEAKERS

   * Yannis Smaragdakis, University of Oregon, USA
   * Jonathan S. Ostroff, York University, Canada


CONFERENCE ADDRESS


ETH Zurich
Chair of Software Engineering, Meyer
ETH Zentrum, RZ Building
CH-8092 Zurich
Switzerland
Fax: +41 1 632 14 35