TAP 2024 : 18th International Conference on Tests and Proofs
TAP 2024 : 18th International Conference on Tests and Proofs

TAP 2024 : 18th International Conference on Tests and Proofs

Milan, Italy
Event Date: September 09, 2024 - September 10, 2024
Abstract Submission Deadline: May 08, 2024
Submission Deadline: May 15, 2024
Notification of Acceptance: June 26, 2024
Camera Ready Version Due: July 17, 2024

Call for Papers

Aim and 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.

Papers are solicited on, but not limited to, the following topics:

- Verification and analysis techniques combining proofs and tests,
- Static analysis of programs with the aid of dynamic techniques,
- Deductive techniques supporting the automated generation of
test vectors and oracles,
- Deductive techniques supporting (novel) definitions of
coverage criteria,
- Specification inference by deductive or dynamic methods,
- Testing and runtime analysis of formal specifications,
- Search-based techniques for proving and testing,
- Testing and Verification of systems based on machine learning,
- Verification of verification tools and environments,
- Applications of test and proof techniques in new domains,
- Combined approaches of test and proof in the context of
formal certifications (Common Criteria, CENELEC, …), and
- Case studies, tool and framework descriptions, and
experience reports

Authors are encouraged (but not required) to make the relevant
artifacts available to the reviewers (and whenever possible
publicly). Artifacts can be provided at submission time or after
notification of acceptance and will go through a lightweight
reviewing process, handing out availability badges.

Important Dates

Abstract submission: 05/08/2024
Paper submission: 05/15/2024
Paper notification: 06/26/2024
Artifact submission: 07/03/2024
Artifact notification: 07/14/2024
Camera-ready version: 07/17/2024

Conference: 09/09/2024-09/10/2024

Submission Instructions

TAP 2024 accepts papers of two kinds:

- Regular papers: full submissions describing
- original research results,
- tools, and
- case studies
of up to 16 pages. For tools and case studies, the tool, framework, or
case study described in a tool paper should be available for public use.

- Short papers: submissions describing preliminary findings, proofs of
concepts, and exploratory studies, of up to 6 pages.

All page limits exclude the references. Appendices may be included,
but they will only be read by a reviewer at their discretion.

Regular and short papers must be original, unpublished, and not submitted
for publication elsewhere.

Papers will undergo a thorough review process. The review process is
single blind. Submissions will be judged on the basis of significance,
relevance, correctness, originality, and clarity. The submissions will
be reviewed and selected for publication based on the above-mentioned
criteria as well as suitability to the conference’s technical program.
After notification, all artifacts of accepted papers will be reviewed
with respect to their availability, consistency with and replicability
of results in the paper, completeness, documentation, and ease of use.
The papers will receive corresponding badges.

Accepted submissions will be published in Springer’s LNCS series. Papers
have to adhere to Springer’s LNCS format and must be submitted in PDF
format at the EasyChair submission site:


TAP 2024 : 18th International Conference on Tests and Proofs will take place in Milan, Italy. It’s a 2 days event starting on Sep 9, 2024 (Monday) and will be winded up on Sep 10, 2024 (Tuesday).

TAP 2024 falls under the following areas: FORMAL METHODS, THEOREM PROVING, TESTING, etc. Submissions for this Conference can be made by May 15, 2024. Authors can expect the result of submission by Jun 26, 2024. Upon acceptance, authors should submit the final version of the manuscript on or before Jul 17, 2024 to the official website of the Conference.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the TAP 2024

  • Short Name: TAP 2024
  • Full Name: 18th International Conference on Tests and Proofs
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of TAP 2024
  • Event Type: Conference
  • Website Link:
  • Location/Address: Milan, Italy

Credits and Sources

[1] TAP 2024 : 18th International Conference on Tests and Proofs

Check other Conferences, Workshops, Seminars, and Events


ICFEM 2024: International Conference on Formal Engineering Methods
Hiroshima , Japan
Dec 2, 2024
AFMAS 2024: Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
SIMULTECH 2024: 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Dijon, France
Jul 10, 2024
FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical Systems
Sep 9, 2024
SEC 2024: 10th International Conference on Software Engineering
Melbourne, Australia
Apr 20, 2024


NFM 2024: NASA Formal Methods Symposium
Moffett Field, California, USA
Jun 4, 2024
VSTTE 2023: International Conference on Verified Software: Theories, Tools, and Experiments
Ames, Iowa, United States
Sep 21, 2023
VSTTE 2022: 14th International Conference on Verified Software: Theories, Tools, and Experiments
Trento, Italy
Oct 17, 2022
ThEdu 2022: 11th International Workshop on Theorem-Proving Components for Educational Software
Haifa, Israel
Aug 11, 2022
ITP 2021: International Conference on Interactive Theorem Proving
Jun 29, 2021


DTTIS 2024: IEEE 2nd International conference on Design, Test & Technology of Integrated Systems
Aix-En-Provence - FRANCE
Oct 14, 2024
Testing 2024: The 6th IEEE International Conference on Artificial Intelligence Testing
Jul 15, 2024
TestEd 2024: 3rd Software Testing Education workshop
Toronto, Canada
May 28, 2024
ICST 2024: International Conference on Software Testing, Verification, and Validation
Toronto, Canada
May 27, 2024
InSTA 2024: 11th International Workshop on Software Test Architecture
Tronto, canada
May 28, 2024