Home Categories About Call for Papers

TAP 2021 : Tests and Proofs

Bergen, Norway

Event Date:	June 21, 2021 - June 25, 2021
Submission Deadline:	January 31, 2021
Notification of Acceptance:	March 15, 2021
Camera Ready Version Due:	April 18, 2021

About

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.

Call for Papers

TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research. Its topics of interest center around the connection between proofs (and other static techniques) and testing (and other dynamic techniques). Papers are solicited on, but not limited to, the following topics:

Verification and analysis techniques combining proofs and tests,
Program proving with the aid of testing techniques,
Deductive techniques supporting the automated generation of test vectors and oracles (theorem proving, model checking, symbolic execution, SAT/SMT solving, constraint logic programming, etc.),
Deductive techniques supporting novel definitions of coverage criteria,
Specification inference by deductive and dynamic methods,
Testing and runtime analysis of formal specifications,
Search-based technics for proving and testing,
Verification of verification tools and environments,
Applications of test and proof techniques in new domains,
such as security, configuration management, learning,
Combined approaches of test and proof in the context of formal certifications (Common Criteria, CENELEC, …), and
Case studies, tool and framework descriptions, and experience

Summary

TAP 2021 : Tests and Proofs will take place in Bergen, Norway. It’s a 5 days event starting on Jun 21, 2021 (Monday) and will be winded up on Jun 25, 2021 (Friday).

TAP 2021 falls under the following areas: PROOF, etc. Submissions for this Conference can be made by Jan 31, 2021. Authors can expect the result of submission by Mar 15, 2021. Upon acceptance, authors should submit the final version of the manuscript on or before Apr 18, 2021 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 2021

Short Name: TAP 2021
Full Name: Tests and Proofs
Timing: 09:00 AM-06:00 PM (expected)
Fees: Check the official website of TAP 2021
Event Type: Conference
Website Link: https://www.univ-orleans.fr/lifo/events/TAP2021/
Location/Address: Bergen, Norway

Credits and Sources

[1] TAP 2021 : Tests and Proofs