8th International Conference on Tests & Proofs

July 24 - July 25, 2014, York, UK

The TAP conference is devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality.

Testing and proving seem to be contradictory techniques: once you have proved your program to be correct then additional testing seems pointless; on the other hand, when such a proof is not feasible, then testing the program seems to be the only option. This view has dominated the research community since the dawn of computer science, and has resulted in distinct communities pursuing the seemingly orthogonal research areas.

However, the development of both approaches has lead to the discovery of common issues and to the realization of potential synergy. The TAP conference aims to bring together researchers and practitioners working in the converging fields of testing and proving.

The conference will include a mix of invited and submitted presentation, and a generous allocation of panels and informal discussions.


TAP 2014 is part of the Staf Conference Series held in York, UK.




  • 19.07.2014: STAF booklet is available
  • 08.07.2014: Proceedings available at Springer
  • 01.07.2014: keynote will be given from Ross Smith, Director of Test, Microsoft Skype Division
  • 10.06.2014: program
  • 20.05.2014: accepted papers!
  • 25.02.2014: Deadline extension! Check out new dates!
  • 20.01.2014: Ben Livshits will give a keynote on Finding Malware on a Web Scale (cancelled!)
  • 31.10.2013: Website online

Important Dates

  • Abstract: 10.03.2014
  • Paper: 18.03.2014
  • Notification: 28.04.2014
  • Camera-Ready Version: 12.05.2014
  • Conference: 24.07.-25.07.2014

Proceedings published in