[Haskell-cafe] Call for Papers: STVR Special Issue on Tests and Proofs

[Achim D. Brucker]

Apologies for duplicates.

                          CALL FOR PAPERS 
              STVR Special Issue on Tests and Proofs
 	    http://lifc.univ-fcomte.fr/tap2012/stvr/

The Software Testing, Verification & Reliability (STVR) journal
(http://www3.interscience.wiley.com/journal/13635/home) invites 
authors to submit papers to a Special Issue on Tests and Proofs.

Background
==========
The increasing use of software and the growing system complexity make
focused software testing a challenging task. Recent years have seen an
increasing industrial and academic interest in the use of static and
dynamic analysis techniques together. Success has been reported
combining different test techniques such as model-based testing,
structural testing, or concolic testing with static techniques such as
program slicing, dependencies analysis, model-checking, abstract
interpretation, predicate abstraction, or verification. This special
issue serves as a platform for researchers and practitioners to
present theory, results, experience and advances in Tests and Proofs
(TAP).

Topics
======
This special issue focuses on all topics relevant to TAP. In
particular, the topics of interest include, but are not limited to:
    * Program proving with the aid of testing techniques
    * New challenges 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, SAT and SMT solving
    * Model-based testing and verification
    * Automatic bug finding
    * Debugging of programs combining static and dynamic analysis
    * Transfer of concepts from testing to proving (e.g., coverage
      criteria) and from proving to testing
    * Formal frameworks for test and proof
    * Tool descriptions, experience reports and evaluation of test and
      proof
    * 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
    * The processes, techniques, and tools that support test and proof

Submission Information
======================
The deadline for submissions is 17th December, 2012. Notification of
decisions will be given by April 15th, 2013.

All submissions must contain original unpublished work not being
considered for publication elsewhere. Original extensions to
conference papers - identifing clearly additional contributions - are
also encouraged unless prohibited by copyright. Submissions will be
refereed according to standard procedures for Software Testing,
Verification and Reliability.  Please submit your paper electronically
using the Software Testing, Verification & Reliability manuscript
submission site. Select "Special Issue Paper" and enter "Tests and
Proofs" as title.

Important Dates:
================
    * Paper submission: December 17, 2012
    * Notification:     April 15, 2013

Guest Editors
=============
    * Achim D. Brucker, SAP Research, Germany
      http://www.brucker.ch/
    * Wolfgang Grieskamp, Google, U.S.A.
      http://www.linkedin.com/in/wgrieskamp
    * Jacques Julliand, University of Franche-Comté, France
      http://lifc.univ-fcomte.fr/page_personnelle/accueil/8       

-- 
Dr. Achim D. Brucker, SAP Research, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe
             Phone: +49 6227 7-52595, http://www.brucker.ch