Conference Information
TAP 2017 : International Conference on Tests & Proofs
Submission Date:
2017-02-20 Extended
Notification Date:
Conference Date:
Marburg, Germany
Viewed: 2509   Tracked: 2   Attend: 0

Conference Location
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.

Research in verification has recently seen a steady convergence of heterogeneous techniques and a synergy between the traditionally distinct areas of testing (and dynamic analysis) and of proving (and static analysis). Formal techniques, such as model checking, that produce counterexamples when verification fails are a clear example of the duality of testing and proving. The combination of static techniques such as satisfiability modulo theory and predicate abstraction has provided means of proving correctness by complementing exhaustive enumeration testing-like techniques. More practically, testing supports the cost-effective debugging of complex models and formal specifications, and is applicable in conditions that are beyond the reach of formal techniques -- for example, components whose source code is not accessible. Testing and proving are increasingly seen as complementary rather than mutually exclusive techniques.

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.

Topics of Interest

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

Highlight Topics

In addition to TAP’s general topics of interests, the 11th edition of TAP will feature two highlight topics on techniques, tools, and experience reports on

    Testing and proving the correctness of security properties and implementations of cryptographic functions and protocols with a focus on the successful interplay of tests and proofs, and
    Asserting the correct functioning and testing of verification tools, especially on theorem provers, that form the basis of many verification results for tools and applications our society increasingly depends on.

TAP 2017 accepts regular-length research papers, short papers, and tool demonstration papers. See the submission instructions for details. 
Last updated by Dou Sun in 2017-02-18
Related Publications
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
baa1ICNPInternational Conference on Network Protocols2017-05-082017-07-172017-10-10
APWC on CSEAsia-Pacific World Congress on Computer Science and Engineering2017-08-032017-10-102017-12-11
CICMConferences on Intelligent Computer Mathematics2015-02-252015-04-132015-07-13
cba2PAMPassive and Active Measurement conference2017-10-10 2018-03-26
AMSAsia Modelling Symposium2017-10-15 2017-12-04
baa2EurographicsAnnual Conference of the European Association for Computer Graphics2017-10-032017-12-152018-04-16
AsiaMICAsian Conference on Modelling, Identification and Control2013-01-142013-02-042013-04-10
b4LANCLatin America Networking Conference2016-06-192016-08-162016-10-13
ICISS'International Conference on Information Science and System2017-12-052017-12-252018-04-27
ICCIT'International Conference on Communications and Information Technology2014-05-312014-06-102014-07-21
ShortFull NameSubmissionConference
ICNPInternational Conference on Network Protocols2017-05-082017-10-10
APWC on CSEAsia-Pacific World Congress on Computer Science and Engineering2017-08-032017-12-11
CICMConferences on Intelligent Computer Mathematics2015-02-252015-07-13
PAMPassive and Active Measurement conference2017-10-102018-03-26
AMSAsia Modelling Symposium2017-10-152017-12-04
EurographicsAnnual Conference of the European Association for Computer Graphics2017-10-032018-04-16
AsiaMICAsian Conference on Modelling, Identification and Control2013-01-142013-04-10
LANCLatin America Networking Conference2016-06-192016-10-13
ICISS'International Conference on Information Science and System2017-12-052018-04-27
ICCIT'International Conference on Communications and Information Technology2014-05-312014-07-21
Related Journals
CCFFull NameImpact FactorPublisherISSN
Journal of Information Science and Engineering0.414Institute of Information Science0000-0000
bJournal of Systems and Software2.444ELSEVIER0164-1212
aIEEE Transactions on Image Processing2.918IEEE1057-7149
cIET Image Processing0.753IET1751-9659
cIET Journal on Image Processing IET1751-9659
Microelectronics Journal1.163ELSEVIER0026-2692
cWireless Networks0.958Springer1022-0038
Magnetic Resonance Imaging1.980ELSEVIER0730-725X
Signal, Image and Video Processing0.409Springer1863-1703
IEEE Transaction on Emerging Topics in Computing IEEE2168-6750