TAP'10 TAP location images
 

 

OVERVIEW

CALL FOR PAPERS

IMPORTANT DATES

KEYNOTE SPEAKERS

PROGRAM

CHAIRS & COMMITTEES

SUBMISSION

SQJ SPECIAL SECTION

 

 




Co-located with:

Sponsored by:

 

4th International Conference on Tests & Proofs (TAP 2010)

Download Call for Papers:
Download CfP as PDF Download CfP as text file


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

TAP footer image