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.
Correct by construction development
Static and run-time analysis
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
Mercedes G. Merayo, Universidad Complutense de Madrid, firstname.lastname@example.org
Gwen Salaün, Grenoble INP, Inria, email@example.com