{"id":820,"date":"2017-01-02T16:26:19","date_gmt":"2017-01-02T15:26:19","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/index.php\/2017\/01\/02\/tap-2017-call-for-papers\/"},"modified":"2020-09-04T18:46:10","modified_gmt":"2020-09-04T16:46:10","slug":"tap-2017-call-for-papers","status":"publish","type":"post","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/2017\/01\/02\/tap-2017-call-for-papers\/","title":{"rendered":"TAP 2017: Call for Papers"},"content":{"rendered":"

First Call for Papers<\/p>\n

11th International Conference on Tests And Proofs
\nTAP 2017 Marburg (Germany), 19-20 July 2017
\nhttp:\/\/http:\/\/www.seceng.de\/tap2017<\/strong><\/p>\n

Part of STAF 2017 http:\/\/www.informatik.uni-marburg.de\/staf2017\/<\/a>
\n=====================================================<\/p>\n

Important Dates<\/em><\/p>\n

\n

Abstract: 17 February 2017
\nPaper: 24 February 2017
\nNotification: 7 April 2017
\nCamera-Ready Version: 21 April 2017
\nConference: 17-21 July 2017<\/p>\n

Aim and Scope<\/p>\n

\n

The TAP conference promotes research in verification and formal
\nmethods that targets the interplay of proofs and testing: the
\nadvancement of techniques of each kind and their combination, with the
\nultimate goal of improving software and system dependability.<\/p>\n

Research in verification has recently seen a steady convergence of
\nheterogeneous techniques and a synergy between the traditionally
\ndistinct areas of testing (and dynamic analysis) and of proving (and
\nstatic analysis). Formal techniques, such as model checking, that
\nproduce counterexamples when verification fails are a clear example of
\nthe duality of testing and proving. The combination of static
\ntechniques such as satisfiability modulo theory and predicate
\nabstraction has provided means of proving correctness by complementing
\nexhaustive enumeration testing-like techniques. More practically,
\ntesting supports the cost-effective debugging of complex models and
\nformal specifications, and is applicable in conditions that are beyond
\nthe reach of formal techniques — for example, components whose source
\ncode is not accessible. Testing and proving are increasingly seen as
\ncomplementary rather than mutually exclusive techniques.<\/p>\n

The TAP conference aims to promote research in the intersection of
\ntesting and proving by bringing together researchers and practitioners
\nfrom both areas of verification.<\/p>\n

Topics of Interest<\/em><\/p>\n

\n

TAP’s scope encompasses many aspects of verification technology,
\nincluding foundational work, tool development, and empirical
\nresearch. Its topics of interest center around the connection between
\nproofs (and other static techniques) and testing (and other dynamic
\ntechniques). Papers are solicited on, but not limited to, the
\nfollowing topics:<\/p>\n

– Verification and analysis techniques combining proofs and tests
\n– Program proving with the aid of testing techniques
\n– Deductive techniques (theorem proving, model checking, symbolic
\nexecution, SMT solving, constraint logic programming, etc.) to
\nsupport testing: generating testing inputs and oracles, supporting
\ncoverage criteria, and so on.
\n– Program analysis techniques combining static and dynamic analysis
\n– Specification inference by deductive and dynamic methods
\n– Testing and runtime analysis of formal specifications
\n– Model-based testing and verification
\n– Using model checking to generate test cases
\n– Testing of verification tools and environments
\n– Applications of testing and proving to new domains, such as
\nsecurity, configuration management, and language-based techniques
\n– Bridging the gap between concrete and symbolic reasoning techniques
\n– Innovative approaches to verification such as crowdsourcing and
\nserious games
\n– Case studies, tool and framework descriptions, and experience
\nreports about combining tests and proofs<\/p>\n

Highlight Topics<\/p>\n

\n

In addition to TAP\u2019s general topics of interests, the 11th edition of
\nTAP will feature two highlight topics on techniques, tools, and
\nexperience reports on<\/p>\n

1. Testing and proving the correctness of security properties and
\n implementations of cryptographic functions and protocols with a
\n focus on the successful interplay of tests and proofs, and<\/p>\n

2. Asserting the correct functioning and testing of verification
\n tools, especially on theorem provers, that form the basis of many
\n verification results for tools and applications our society
\n increasingly depends on.<\/p>\n

Submission Instructions<\/p>\n

\n

TAP 2017 accepts papers of three kinds:<\/p>\n

– Regular research papers: full submissions describing original
\nresearch, of up to 16 pages (excluding references).<\/p>\n

– Tool demonstration papers: submissions describing the design and
\nimplementation of an analysis\/verification tool or framework, of up
\nto 8 pages (excluding references). The tool\/framework described in
\na tool demonstration paper should be available for public use.<\/p>\n

– Short papers: submissions describing preliminary findings, proofs
\nof concepts, and exploratory studies, of up to 6 pages (excluding
\nreferences).<\/p>\n

Organization<\/em><\/p>\n

\n

Program Chairs<\/p>\n

– Einar Broch Johnsen
\n– Sebastian Gabmeyer<\/p>\n

Program Committee<\/p>\n

– Bernhard K. Aichernig
\n– Elvira Albert
\n– Bruno Blanchette
\n– Jasmin C. Blanchette
\n– Achim D. Brucker
\n– Catherine Dubois
\n– Gordon Fraser
\n– Carlo A. Furia
\n– Sebastian Gabmeyer (chair)
\n– Angelo Gargantini
\n– Alain Giorgetti
\n– Christoph Gladisch
\n– Martin Gogolla
\n– Arnaud Gotlieb
\n– Marieke Huisman
\n– Bart Jacobs
\n– Einar Broch Johnsen (chair)
\n– Nikolai Kosmatov
\n– Laura Kovacs
\n– Martin Leuker
\n– Panagiotis Manolios
\n– Karl Meinke
\n– Andreas Podelski
\n– Andrew J. Reynolds
\n– Martina Seidl
\n– Martin Steffen
\n– Martin Strecker
\n– T. H. Tse
\n– Luca Vigan\u00f2
\n– Burkhart Wolff
\n– Stijn de Gouw<\/p>\n

Contact<\/em><\/p>\n

\n

mailto:tap2017@easychair.org<\/p>\n","protected":false},"excerpt":{"rendered":"

First Call for Papers 11th International Conference on Tests And Proofs TAP 2017 Marburg (Germany), 19-20 July 2017 http:\/\/http:\/\/www.seceng.de\/tap2017 Part of STAF 2017 http:\/\/www.informatik.uni-marburg.de\/staf2017\/ ===================================================== Important Dates Abstract: 17 February 2017 Paper: 24 February 2017 Notification: 7 April 2017 Camera-Ready Version: 21 April 2017 Conference: 17-21 July 2017 Aim and Scope The TAP conference promotes […]<\/p>\n","protected":false},"author":1,"featured_media":819,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ocean_post_layout":"","ocean_both_sidebars_style":"","ocean_both_sidebars_content_width":0,"ocean_both_sidebars_sidebars_width":0,"ocean_sidebar":"","ocean_second_sidebar":"","ocean_disable_margins":"enable","ocean_add_body_class":"","ocean_shortcode_before_top_bar":"","ocean_shortcode_after_top_bar":"","ocean_shortcode_before_header":"","ocean_shortcode_after_header":"","ocean_has_shortcode":"","ocean_shortcode_after_title":"","ocean_shortcode_before_footer_widgets":"","ocean_shortcode_after_footer_widgets":"","ocean_shortcode_before_footer_bottom":"","ocean_shortcode_after_footer_bottom":"","ocean_display_top_bar":"default","ocean_display_header":"default","ocean_header_style":"","ocean_center_header_left_menu":"","ocean_custom_header_template":"","ocean_custom_logo":0,"ocean_custom_retina_logo":0,"ocean_custom_logo_max_width":0,"ocean_custom_logo_tablet_max_width":0,"ocean_custom_logo_mobile_max_width":0,"ocean_custom_logo_max_height":0,"ocean_custom_logo_tablet_max_height":0,"ocean_custom_logo_mobile_max_height":0,"ocean_header_custom_menu":"","ocean_menu_typo_font_family":"","ocean_menu_typo_font_subset":"","ocean_menu_typo_font_size":0,"ocean_menu_typo_font_size_tablet":0,"ocean_menu_typo_font_size_mobile":0,"ocean_menu_typo_font_size_unit":"px","ocean_menu_typo_font_weight":"","ocean_menu_typo_font_weight_tablet":"","ocean_menu_typo_font_weight_mobile":"","ocean_menu_typo_transform":"","ocean_menu_typo_transform_tablet":"","ocean_menu_typo_transform_mobile":"","ocean_menu_typo_line_height":0,"ocean_menu_typo_line_height_tablet":0,"ocean_menu_typo_line_height_mobile":0,"ocean_menu_typo_line_height_unit":"","ocean_menu_typo_spacing":0,"ocean_menu_typo_spacing_tablet":0,"ocean_menu_typo_spacing_mobile":0,"ocean_menu_typo_spacing_unit":"","ocean_menu_link_color":"","ocean_menu_link_color_hover":"","ocean_menu_link_color_active":"","ocean_menu_link_background":"","ocean_menu_link_hover_background":"","ocean_menu_link_active_background":"","ocean_menu_social_links_bg":"","ocean_menu_social_hover_links_bg":"","ocean_menu_social_links_color":"","ocean_menu_social_hover_links_color":"","ocean_disable_title":"default","ocean_disable_heading":"default","ocean_post_title":"","ocean_post_subheading":"","ocean_post_title_style":"","ocean_post_title_background_color":"","ocean_post_title_background":0,"ocean_post_title_bg_image_position":"","ocean_post_title_bg_image_attachment":"","ocean_post_title_bg_image_repeat":"","ocean_post_title_bg_image_size":"","ocean_post_title_height":0,"ocean_post_title_bg_overlay":0.5,"ocean_post_title_bg_overlay_color":"","ocean_disable_breadcrumbs":"default","ocean_breadcrumbs_color":"","ocean_breadcrumbs_separator_color":"","ocean_breadcrumbs_links_color":"","ocean_breadcrumbs_links_hover_color":"","ocean_display_footer_widgets":"default","ocean_display_footer_bottom":"default","ocean_custom_footer_template":"","ocean_post_oembed":"","ocean_post_self_hosted_media":"","ocean_post_video_embed":"","ocean_link_format":"","ocean_link_format_target":"self","ocean_quote_format":"","ocean_quote_format_link":"post","ocean_gallery_link_images":"on","ocean_gallery_id":[],"footnotes":""},"categories":[286],"tags":[],"class_list":["post-820","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-fractualites-ennews-fr","entry","has-media"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/820","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/comments?post=820"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/820\/revisions"}],"predecessor-version":[{"id":1640,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/820\/revisions\/1640"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media\/819"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=820"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/categories?post=820"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/tags?post=820"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}