header by Frank Schmidtke

10th International Conference on Tests & Proofs

5-7 July 2016, Vienna, Austria

The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Dijkstra's famous remark that "testing shows the presence, not the absence of bugs" contributed to reinforcing the opinion that program testing and program proving are antithetical techniques. Under the traditional view, proving aims at establishing correctness, whereas testing aims at uncovering errors: a correct program needs no testing, and there's no point in trying to prove a buggy one. As a result, research in verification has historically been divided into separate communities, with only few interested in both testing and proving.

This attitude has changed significantly over the last decade. Verification research has seen a convergence of heterogeneous techniques and a synergy between traditionally distinct communities. Testing and proving are increasingly seen as complementary rather than mutually exclusive techniques: formal testing can increase the confidence in the correctness of program parts that are hard to reason about formally, and proving can help make testing more efficient and systematic. The TAP conference aims to promote research in the intersection of testing and proving by bringing together researchers and practitioners from both areas of verification.

The conference program will include presentations of refereed works, as well as invited talks and tutorials, thus offering numerous chances for interaction to researchers with different backgrounds.


TAP 2016 is part of the STAF Conference Series held in Vienna, Austria.




  • 4 July 2016: Download the procceedings for free
  • 23 June 2016: The proceedings are available from Springer
  • 10 May 2016: The program is now online
  • 1 Feb. 2016: Deadline extended to 15 February 2016
  • 21 Jan. 2016: Keynote Speaker: Kim G. Larsen, Aalborg University
  • 21 Jan. 2016: Industrial Keynote Speaker: Klaus Reichl, Thales Austria
  • 20 Oct. 2015: Special issue of Formal Aspects of Computing confirmed
  • 29 Sept. 2015: Call for Papers published
  • 1 Sept. 2015: Website online

Important Dates

  • Abstract: 29 January 2016
    15 February 2016
  • Paper: 29 January 2016
    15 February 2016
  • Notification: 15 April 2016
  • Camera-Ready Version: 29 April 2016
  • Conference: 5-7 July 2016