10th International Conference on Tests and Proofs (TAP) 2016 Vienna

  • Conference Call
  • The 10th Inter­na­tional Con­fer­ence on Test­ing and Proofs (TAP) will take place in Vienna, Aus­tria at the Vienna Uni­ver­sity of Tech­nol­ogy – TU Wien (TUW) on July 57, 2016 and is part of the Soft­ware Tech­nolo­gies: Appli­ca­tions and Foun­da­tions (STAF) Fed­er­a­tion Annual Meet­ing.

    The TAP con­fer­ence pro­motes research in ver­i­fi­ca­tion and for­mal meth­ods that tar­gets the inter­play of proofs and test­ing: the advance­ment of tech­niques of each kind and their com­bi­na­tion, with the ulti­mate goal of improv­ing soft­ware and sys­tem dependability.

    Dijkstra’s famous remark that “test­ing shows the pres­ence, not the absence of bugs” con­tributed to rein­forc­ing the opin­ion that pro­gram test­ing and pro­gram prov­ing are anti­thet­i­cal tech­niques. Under the tra­di­tional view, prov­ing aims at estab­lish­ing cor­rect­ness, whereas test­ing aims at uncov­er­ing errors: a cor­rect pro­gram needs no test­ing, and there’s no point in try­ing to prove a buggy one. As a result, research in ver­i­fi­ca­tion has his­tor­i­cally been divided into sep­a­rate com­mu­ni­ties, with only few inter­ested in both test­ing and proving

    This atti­tude has changed sig­nif­i­cantly over the last decade. Ver­i­fi­ca­tion research has seen a con­ver­gence of het­ero­ge­neous tech­niques and a syn­ergy between tra­di­tion­ally dis­tinct com­mu­ni­ties. Test­ing and prov­ing are increas­ingly seen as com­ple­men­tary rather than mutu­ally exclu­sive tech­niques: for­mal test­ing can increase the con­fi­dence in the cor­rect­ness of pro­gram parts that are hard to rea­son about for­mally, and prov­ing can help make test­ing more effi­cient and sys­tem­atic. The TAP con­fer­ence aims to pro­mote research in the inter­sec­tion of test­ing and prov­ing by bring­ing together researchers and prac­ti­tion­ers from both areas of verification.

    The con­fer­ence pro­gram will include pre­sen­ta­tions of ref­er­eed works, as well as invited talks and tuto­ri­als, thus offer­ing numer­ous chances for inter­ac­tion to researchers with dif­fer­ent backgrounds.

    Con­fer­ence Scope

    Research in ver­i­fi­ca­tion has recently seen a steady con­ver­gence of het­ero­ge­neous tech­niques and a syn­ergy between the tra­di­tion­ally dis­tinct areas of test­ing (and dynamic analy­sis) and of prov­ing (and sta­tic analy­sis). For­mal tech­niques, such as model check­ing, that pro­duce coun­terex­am­ples when ver­i­fi­ca­tion fails are a clear exam­ple of the dual­ity of test­ing and prov­ing. The com­bi­na­tion of sta­tic tech­niques such as sat­is­fi­a­bil­ity mod­ulo the­ory and pred­i­cate abstrac­tion has pro­vided means of prov­ing cor­rect­ness by com­ple­ment­ing exhaus­tive enu­mer­a­tion testing-​like tech­niques. More prac­ti­cally, test­ing sup­ports the cost-​effective debug­ging of com­plex mod­els and for­mal spec­i­fi­ca­tions, and is applic­a­ble in con­di­tions that are beyond the reach of for­mal tech­niques — for exam­ple, com­po­nents whose source code is not acces­si­ble. Test­ing and prov­ing are increas­ingly seen as com­ple­men­tary rather than mutu­ally exclu­sive techniques.

    Top­ics of Interest

    TAP’s scope encom­passes many aspects of ver­i­fi­ca­tion tech­nol­ogy, includ­ing foun­da­tional work, tool devel­op­ment, and empir­i­cal research. Its top­ics of inter­est cen­ter around the con­nec­tion between proofs (and other sta­tic tech­niques) and test­ing (and other dynamic tech­niques). Papers are solicited on, but not lim­ited to, the fol­low­ing topics:

    • Ver­i­fi­ca­tion and analy­sis tech­niques com­bin­ing proofs and tests
    • Pro­gram prov­ing with the aid of test­ing techniques
    • Deduc­tive tech­niques (the­o­rem prov­ing, model check­ing, sym­bolic exe­cu­tion, SMT solv­ing, con­straint logic pro­gram­ming, etc.) to sup­port test­ing: gen­er­at­ing test­ing inputs and ora­cles, sup­port­ing cov­er­age cri­te­ria, and so on.
    • Pro­gram analy­sis tech­niques com­bin­ing sta­tic and dynamic analysis
    • Spec­i­fi­ca­tion infer­ence by deduc­tive and dynamic methods
    • Test­ing and run­time analy­sis of for­mal specifications
    • Model-​based test­ing and verification
    • Using model check­ing to gen­er­ate test cases
    • Test­ing of ver­i­fi­ca­tion tools and environments
    • Appli­ca­tions of test­ing and prov­ing to new domains, such as secu­rity, con­fig­u­ra­tion man­age­ment, and language-​based techniques
    • Bridg­ing the gap between con­crete and sym­bolic rea­son­ing techniques
    • Inno­v­a­tive approaches to ver­i­fi­ca­tion such as crowd­sourc­ing and seri­ous games
    • Case stud­ies, tool and frame­work descrip­tions, and expe­ri­ence reports about com­bin­ing tests and proofs

    TAP 2016 accepts regular-​length research papers, short papers, and tool demon­stra­tion papers. See the sub­mis­sion instruc­tions for details.

    Pub­li­ca­tion Oppor­tu­nity: Spe­cial Issue

    Authors of selected papers will be invited to sub­mit extended ver­sions of their TAP 2016 papers for a spe­cial issue of the Springer jour­nal For­mal Aspects of Com­put­ing.

    Orga­ni­za­tion

    PC Chairs

    Pro­gram Committee

    • Jas­min C. Blanchette
    • Achim D. Brucker
    • Cather­ine Dubois
    • Gor­don Fraser
    • Juan Pablo Galeotti
    • Angelo Gar­gan­tini
    • Alain Gior­getti
    • Christoph Glad­isch
    • Mar­tin Gogolla
    • Arnaud Gotlieb
    • Ashutosh Gupta
    • Reiner Hähnle
    • Marieke Huis­man
    • Bart Jacobs
    • Niko­lai Kosmatov
    • Laura Kovács
    • Shaoy­ing Liu
    • Pana­gi­o­tis Manolios
    • Karl Meinke
    • Brian Nielsen
    • Nadia Polikar­pova
    • Andrew J. Reynolds
    • Augusto Sam­paio
    • Mar­tina Seidl
    • Jun Sun
    • Niko­lai Tillmann
    • T. H. Tse
    • Mar­gus Veanes
    • Burkhart Wolff

    Steer­ing Committee

    starting: ending: 07.07.2016 Location: , Category:

    Timeline

    Conference START 07.07.2016 END

    All deadlines have expired!

    This conference has no more open deadlines. There may be successive conferences coming up you may by interested in.

    Please check our conference list and search...

    Conference Facts

    Location , Address Gußhausstraße 29 Category Organiser More Info Conference Website

    Further interesting Conferences

    Currently we have no similar events listed. Please check our website regulary, subscribe to our RSS-Feed or follow us on twitter for new listings.