Software Verification and Testing

Call for paper for Special Issue on Software Verification and Testing

Currently, due to the growing size and complexity of software, the development of high quality systems is a challenge.
Recent years have seen an increasing industrial interest in the use of techniques based on formal approaches to assist
in the development of reliable software. In this sense, the application of verification and testing methodologies is a
key task to ensure software quality.

This special issue aims at improving the usability of formal methods in software engineering by means of new results in formal verification and testing.

Topics include, but not limited to, the following.

Model checking
Theorem proving
Correct by construction development
Model-based testing
Verification-based testing
Symbolic execution
Static and run-time analysis
Abstract interpretation
Analysis methods for dependable systems
Software certification and proof carrying code
Fault diagnosis and debugging
Verification of large scale software systems
Real world applications and case studies applying software verification

Submission Format and Guideline

This special issue accepts two types of submissions. Manuscripts that have not been previously published or considered for publication elsewhere and extensions of selected papers published in SVT 2016, a track of the ACM Symposium on Applied Computing, http://antares.sip.ucm.es/svt16/.

Submissions of selected papers from SVT 2016 must contain at least 30% new material. Authors are requested to attach to the submitted paper their relevant, previously published articles and a summary document explaining the enhancements made in the journal version. All submissions must include an empirical validation such as presenting empirical experiments or comparing to the practices in action. Comparing to the literature should not be considered
as empirical validation.

Submissions will be refereed according to the Guide for Authors as published in the journal website at http://ees.elsevier.com/jss. All the contents of the submission, including the manuscript, a graphical abstract of the manuscript, and any supplementary material should be submitted through the Elsevier Editorial System (EES) available
at http://www.journals.elsevier.com/journal-of-systems-and-software, by selecting “SI: Verification and Testing” as article type.

Requests for additional information should be addressed to the guest editors.

The submission deadline is July 15th, 2016.

Editor in Chief
H. van Vliet

Special Issues Editor
W.K. Chan

Guest Editors

Mercedes G. Merayo, Universidad Complutense de Madrid, mgmerayo@fdi.ucm.es
Gwen Salaün, Grenoble INP, Inria, gwen.salaun@inria.fr