Call for Papers: STVR Special Issue on Tests and Proofs

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