4th International Conference on Tests & Proofs (TAP 2010)
The TAP conference is devoted to the convergence of proofs and tests. It combines ideas from both sides for the advancement of software quality. We invite submission of full papers (16 pages max) and short presentations of work in progress, industrial experience reports and tool demonstrations (6 pages max). The proceedings will be published within Springer's LNCS series and they will be available at the conference. Authors of selected papers of the conference will be invited to submit extended versions to a special section of the Software Quality Journal on Tests and Proofs.
Possible topics include (as an indicative rather than exhaustive list):