Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs

Apologies for duplicates.

        *************************************************
        ****   Two months until the deadline for      ***
        ****       submitting a paper to the          ***
        ****  STVR special issue on Tests and Proofs  ***
        *************************************************

                          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).