TAP 2013: 1st Call for Papers

(Apologies if you receive this announcement multiple times.
We also apologize for resending the first call for papers,
the original announcement contained an incorrect URL to easychair.)

****************************************************  
***                                              ***
***  TAP 2013                                    ***
***                                              ***
***  Abstract submission: January 25, 2013       ***
***  Paper submission:    February 1, 2013       ***
****************************************************
***  TAP 2013 solicits both full papers and      ***
***  (industrial) experience/tool papers         ***
***  in combining proofs and (security) testing  ***
****************************************************

CALL FOR PAPERS

7th INTERNATIONAL CONFERENCE ON TESTS AND PROOFS (TAP 2013)
http://www.spacios.eu/TAP2013

Budapest, Hungary, June 17-21, 2013

The TAP conference is devoted to the synergy of proofs and tests, to the
application of techniques from both sides and their combination for the                 
advancement of software quality.
Testing and proving seem to be contradictory techniques: once you have
proved your program to be correct then additional testing seems
pointless; on the other hand, when such a proof in not feasible, then
testing the program seems to be the only option. This view has dominated