Call for  Papers

                           Special Issue on

                           TESTS AND PROOFS

                                of the

                    JOURNAL OF AUTOMATED REASONING



GENERAL INFORMATION

Proofs and tests have, since the onset of software engineering
research, been pursued by distinct communities using rather different
techniques and tools.  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.

This special issue has its origins in the Second International
Conference on Tests and Proofs (TAP 2008), which was held in Prato
(Italy) in April 2008.  It will be published by Springer within the
Journal of Automated Reasoning.


TOPICS

Topics of interest include the following:

    * Generation of test data, oracles, or preambles by deductive
      techniques such as
      - theorem proving,
      - model checking,
      - symbolic execution,
      - constraint logic programming,
      etc.
    * Generation of specifications by deduction
    * Verification techniques combining proofs and tests
    * Program proving with the aid of testing techniques
    * Transfer of concepts from testing to proving
      (e.g., coverage criteria)
    * Automatic bug finding
    * Formal frameworks
    * Tool descriptions and experience reports
    * Case studies


SUBMISSIONS

This special issue welcomes original high-quality contributions that
have been neither published in nor submitted to any journals or
refereed conferences.

Authors of papers presented at the TAP 2008 conference are welcome to
submit extended and revised versions of their papers. However,
contributions are not limited to those based on papers presented at
TAP 2008; any other submissions related to Tests and Proofs are highly
welcome.

All submissions should be written in terms understandable by general
readers of the journal. And all submissions will be refereed to usual
journal standards.

Submissions should be formatted according to JAR's author guidelines
(see the link on the special issue's web page below), and preferably
be written in LaTeX. A LaTeX style file can be obtained here:
http://www.springeronline.com/authors/jrnlstylefiles

To submit a paper to the JAR Special Issue on Tests and Proofs, please
proceed as follows: Go to Springer's Editorial Manager at
http://www.editorialmanager.com/jars/default.asp. If you do not yet
have an account, please create one using the REGISTER button at the
top. Once you are registered, please login with role "Author". Under
the heading "New Submissions" there is a link for creating a new
manuscript. Following this link, you are asked to specify the Article
Type. It is essential to select "Special Issue Tests and Proofs" from
the pull down menu. This will ensure that your article is processed
correctly. After clicking "Next" you can fill in the remaining data
and upload a PDF file with your manuscript. You can return to the
Editorial Manager at any time to modify your personal data and to
follow the progress of reviewing.


PAPER SUBMISSIONS DEADLINE

              September 30, 2008


EDITORS

Bernhard Beckert (University of Koblenz, Germany)
Reiner Hähnle (Chalmers University, Gothenburg, Sweden)


FURTHER INFORMATION

For further information visit the web page:
http://www.uni-koblenz.de/tap2008/jar.html

Or send an email to one of us:
tap2008@uni-koblenz.de