STVR Special Issue on Tests and Proofs

Download call for paper in different formats: HTML, Plain Text, PDF.

The Software Testing, Verification & Reliability (STVR) journal invites authors to submit papers to a Special Issue on Tests and Proofs.


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


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

Related Events