[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] TAP (Test and Proof) 2012 Call For Paper



Call For Paper: TAP 2012 in Prague, Czech Republic
Full and short Research Paper, Industrial Expierence Papers, Tool Papers
Abstract submission: Dec 14, 2011, Paper submission Dec 21, 2012

Apologies for multiple copies ...
=================================================================
6th International Conference on Tests and Proofs (TAP 2012)
May 31- June 1, 2012, Prague, Czech Republic
Part of the TOOLS Federated Conferences 2012
http://lifc.univ-fcomte.fr/tap2012
----------------------------------------------------------------
CALL FOR RESEARCH (long and short), INDUSTRIAL and TOOLS PAPERS
Abstract submission: December 14, 2011
Paper submission:     December 21, 2011
===============================================================

Scope and Objectives
----------
The TAP conference is devoted to the convergence of proofs and tests,
to the application of techniques from both sides and their combination
for the advancement of software quality. Test and Proof seem to be
contradictory techniques: if you have proved your program to be
correct, it is fruitless to comb it for bugs; and if you are testing
it, that is surely a sign that you have given up on any hope to prove
its correctness.  Accordingly, proofs and tests have, since the onset
of software engineering research, been pursued by distinct
communities.

However, the development of both approaches lead to the discovery of
common issues and to the realization that each may need the other. The
emergence of model checking has been one of the first signs that
contradiction may yield to complementarity. Further evidence give test
data generation techniques from models or programs which boil down to
constraint resolution techniques for relatively large formula; the
advent of powerful SMT solvers have therefore powered new testing
techniques.  Finally, since formal, proof-based verification is
costly, testing invariants and background theories can be helpful to
detect errors early and to improve cost effectivity.  Summing up, in
the past few years an increasing number of research efforts have
encountered the need for combining proofs and tests, dropping earlier
dogmatic views of incompatibility and taking instead the best of what
each of these software engineering domains has to offer.

The TAP conference aims to bring together researchers and practitioners
working in the converging fields of testing and proving, and will offer
a generous allocation of papers, panels and informal discussions.

------------------
Topics of interest
------------------
Topics of interest cover theory definitions, tool constructions and
experimentations and include (other topics related to TAP are welcome):
- Transfer of concepts from testing to proving (e.g., coverage criteria)
  and from proving to testing
- Program proving with the aid of testing techniques
- New problematics in automated reasoning emerging from specificities
  of test generation
- Verification and testing techniques combining proofs and tests
- Generation of test data, oracles, or preambles by deductive
  techniques such as: theorem proving, model checking, symbolic
  execution, constraint logic programming
- Model-based testing and verification
- Generation of specifications by deduction
- Automatic bug finding
- Debugging of programs combining static and dynamic analysis
- Formal frameworks
- Tool descriptions and experience reports
- Case studies combining tests and proofs
- Applying combination of test and proof techniques to new application
  domains such as validating security procotols or vulnerability
  detection of programs
 
----------------------
Types of Contributions
----------------------
Research papers (max. 16 pages) describing results of theoretical or experimental research,
which must be original, significant and sound.
Industrial papers (max. 16 pages) describing approaches and means to introduce
new testing methodologies in industrial contexts or reporting on industrial best practices.


--------------------------
Submission and publication
--------------------------
Submissions (via http://lifc.univ-fcomte.fr/tap2012/):
- Research papers: full papers with at most 16 pages in LNCS format
  (pdf), which have to be original, unpublished and not submitted
  elsewhere.
- Short contributions: work in progress, (industrial) experience
  reports or tool demonstrations, position statements; an extended
  abstract with at most 6 pages in LNCS format (pdf) is expected.

Accepted papers will be published in the Springer LNCS series
and will be available at the conference.

The contents of previous TAP proceedings is available at:
http://www.informatik.uni-trier.de/~ley/db/conf/tap/

---------------
Important Dates
---------------
Abstract submission:    December 14, 2011
Paper submission:       December 21, 2011
Notification:           March 2, 2012
Camera ready version:   March 19, 2012
TAP conference:         May 31 - June 1, 2012
TOOLS conferences (TOOLS, ICMT, SC, TAP): May 29 - June 01, 2012

------------
Organization
------------
Program Chairs: Achim D Brucker and Jacques Julliand
TOOLS conferences (TOOLS, ICMT, SC, TAP): May 29 - June 01, 2012
Conference Chair: Bertrand Meyer

TAP 2012 Program Committee :

Nazareno Aguirre, Bernhard K. Aichernig, Paul Ammann, Dirk Beyer,
Nikolaj Bjorner, Robert Clarisó, Marco Comini, Catherine Dubois,
Gordon Fraser, Angelo Gargantini, Alain Giorgetti, Patrice Godefroid, Martin Gogolla,
Arnaud Gotlieb, Reiner Hähnle, Bart Jacobs, Thierry Jéron, Gregory
Kapfhammer, Nikolai Kosmatov, Victor Kuliamin, Karl Meinke, Jeff Offutt, Holger
Schlingloff, T.H. Tse, Margus Veanes, Luca Viganò, Burkhart Wolff,
Fatiha Zaidi

-------
Contact
-------
Conference Website: http://lifc.univ-fcomte.fr/tap2012
For any inquiries please contact the program chairs at: tap2012@easychair.org

Bien sincèrement.   Jacques Julliand
---------------------------------------------------------------
Laboratoire d'Informatique de l'Université de Franche-Comté
LIFC (EA 4269)
---------------------------------------------------------------
16, route de Gray  25030 Besançon Cedex

tel : (33) 03.81.66.64.51
secrétariat : 03.81.66.64.55 (ou 65.15), Fax : 64.50

E-mail : jacques.julliand@lifc.univ-fcomte.fr
Web : http://lifc.univ-fcomte.fr
---------------------------------------------------------------