Submission to TAP (Testing and Proving) Workshop is still available. Please take a look at following link. http://tap.ethz.ch/callforworkshops.html -- Lisa (Ling) Liu Department of Computer Science phone: +41 44 632 55 07 Software Engineering Group fax:+41 44 632 14 35 ETH Zentrum, RZ J9 mail: [log in to unmask] Clausiusstrasse 59 http://se.inf.ethz.ch/people/liuli CH-8092 Zürich