Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Papers: Only Two Months Left - STVR S...


view this post on Zulip Email Gateway (Aug 19 2022 at 08:59):

From: "Achim D. Brucker" <brucker@spamfence.net>
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).

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 AG, 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


Last updated: Mar 28 2024 at 20:16 UTC