Co-located with:
Sponsored by:
4th International Conference on Tests & Proofs (TAP 2010)
Download Call for Papers:
Purpose and scope
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.
Topics
Possible topics include (as an indicative rather than exhaustive list):
- Generation of test data, oracles, or preambles by deductive techniques such as
- theorem proving,
- model checking,
- symbolic execution,
- constraint logic programming, etc.
- Generation of specifications by deduction
- Verification techniques combining proofs and tests
- Program proving with the aid of testing techniques
- Transfer of concepts from testing to proving (e.g., coverage criteria)
- Automatic bug finding
- Formal frameworks
- Tool descriptions and experience reports
- Case studies
