header by solar.empire

11th International Conference on Tests & Proofs

July 19 - 20, 2017 in Marburg, Germany

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 2017 is part of the STAF Conference Series held in Marburg, Germany.




  • 17 May 2017: Program online
  • 17 May 2017: TAP will have a tutorial!
  • 12 May 2017: Keynote title and abstract online
  • 20 Feb. 2017: Deadline extended
  • 16 Feb. 2017: Deadline adjusted
  • 29 Nov. 2016: Call for Papers published
  • 1 Nov. 2016: Website online

Important Dates

  • Abstract: 17 February 2017
    27 February 2017
  • Paper: 24 February 2017
    5 March 2017
  • Notification: 7 April 2017
  • Camera-Ready Version: 21 April 2017
  • Conference: 19-20 July 2017