Scope

TAP 2024 is the 18th International Conference on Tests and Proofs. TAP promotes research in verification and formal methods that targets the interplay of static and dynamic analysis techniques with the ultimate goal of improving software and system dependability.

Research in verification has seen an increase in heterogeneous techniques and a synergy between the traditionally distinct areas of dynamic and static analysis. There is growing awareness that dynamic techniques such as testing and static techniques such as proving are complementary rather than mutually exclusive. Notable examples that provide evidence for the potential of a combination of static and dynamic analysis are counterexample generation based on symbolic execution, the integration of SAT/SMT-solving in model checking, or the combination of predicate abstraction with exhaustive enumeration. The verification of systems based on machine learning spurs novel combinations of dynamic and static analyses, e.g., property verification of surrogate models that are generated through testing.

TAP’s scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research. Topics of interest center around the combination of static techniques such as proving and dynamic techniques such as testing.

Submission and Proceedings

Accepted submissions will be published in Springer’s LNCS series.

  • Please check the submission page for detailed instructions for preparing your submission.

Previous TAPs

  • TAP 2023, 17th Intl. Conf. on Tests and Proofs, Leicester, United Kingdom, July 18-19, 2023
  • TAP 2022, 16th Intl. Conf. on Tests and Proofs, Nantes, France, July 5, 2022
  • TAP 2021, 15th Intl. Conf. on Tests and Proofs, Online, June 21–25, 2021
  • TAP 2020, 14th Intl. Conf. on Tests and Proofs, Bergen, Norway, June 22–26, 2020
  • TAP 2019, 13th Intl. Conf. on Tests and Proofs, Porto, Portugal, October 9-11, 2019
  • TAP 2018, 12th Intl. Conf. on Tests and Proofs, Toulouse, France, June 27-29, 2018
  • TAP 2017, 11th Intl. Conf. on Tests and Proofs, Marburg, Germany, July 19-20, 2017
  • TAP 2016, 10th Intl. Conf. on Tests and Proofs, Vienna, Austria, July 5-7, 2016
  • TAP 2015, 9th Intl. Conf. on Tests and Proofs, L’Aquila, Italy, July 22-24, 2015
  • TAP 2014, 8th Intl. Conf. on Tests and Proofs, York, UK, July 24-25, 2014
  • TAP 2013, 7th Intl. Conf. on Tests and Proofs, Budapest, Hungary, June 18-19, 2013
  • TAP 2012, 6th Intl. Conf. on Tests and Proofs, Besancon, France, July 1-2, 2012
  • TAP 2011, 5th Intl. Conf. on Tests and Proofs, Zurich, Switzerland, June 30 - July 1, 2011
  • TAP 2010, 4th Intl. Conf. on Tests and Proofs, Malaga, Spain, July 1-2, 2010
  • TAP 2009, 3rd Intl. Conf. on Tests and Proofs, Zurich, Switzerland, July 2-3, 2009
  • TAP 2008, 2nd Intl. Conf. on Tests and Proofs, Prato, Italy, April 9-11, 2008
  • TAP 2007, 1st Intl. Conf. on Tests and Proofs, Zurich, Switzerland, February 12-13, 2007