Email Gateway (Aug 22 2022 at 11:33): Email Gateway (Aug 22 2022 at 11:33):From: Jasmin Blanchette <jasmin.blanchette@inria.fr>
================================================
TAP 2016
10th International Conference on Tests & Proofs
5-7 July 2016, Vienna, Austria
Co-located with STAF 2016
Call for Papers
================================================
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.
Scope & Topics
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 (theorem proving, model checking, symbolic
execution, SMT solving, constraint logic programming, etc.) to
support testing: generating testing inputs and oracles, supporting
coverage criteria, and so on.
Program analysis techniques combining static and dynamic analysis
Specification inference by deductive and dynamic methods
Testing and runtime analysis of formal specifications
Model-based testing and verification
Using model checking to generate test cases
Testing of verification tools and environments
Applications of testing and proving to new domains, such as
security, configuration management, and language-based techniques
Bridging the gap between concrete and symbolic reasoning
techniques
Innovative approaches to verification such as crowdsourcing and
serious games
Case studies, tool and framework descriptions, and experience
reports about combining tests and proofs
Submissions
TAP 2015 accepts regular-length research papers (16 LNCS pages +
references), short papers (6 LNCS pages + references), and tool
demonstration papers (8 LNCS pages + references). For details, see the
submission instructions: http://tap2016.ist.tugraz.at/submission.shtml
Authors of selected papers will be invited to submit extended versions
of their TAP 2016 papers for a special issue of the Springer journal
Formal Aspects of Computing (http://link.springer.com/journal/165).
Organization
PC Chairs:
Program Committee:
Jasmin C. Blanchette, Inria Nancy and MPI Saarbruecken, France and
Germany
Achim D. Brucker, SAP AG, Germany
Alain Giorgetti, FEMTO-ST Institute and University of
Franche-Comte, France
Christoph Gladisch, Bosch GmbH, Germany
Last updated: Nov 21 2024 at 12:39 UTC