Call for Papers Special Issue in Springer Software Quality Journal on Improving Software Quality through Formal Methods =================================================== = Overview Formal methods are paramount to ensure strong guarantees on the correct behavior of software. Based on mathematics and logic, formal methods help practitioners construct technology that can ensure increasingly important concerns such as safety, security, reliability and accountability. This special issue in the Springer Software Quality Journal [1] is dedicated to the presentation of novel results in the scope of formal methods for verification and testing of software, soliciting papers about approaches that successfully combine a rigorous and formal background with the capability to address real software applications in realistic settings. Possible topics include, but are not limited to: • model checking • theorem proving • correct by construction development • model-based testing • software testing • symbolic execution • static and dynamic analysis • abstract interpretation • analysis methods for dependable systems • software certification and proof carrying code • fault diagnosis and debugging • verification and validation of large-scale software systems = Requirements for Submission Papers should be original and must not have been previously published or being currently under submission at any other venue. A paper extending a conference or workshop publication should contain at least 30% of new material to be considered for publication. In that case, a clear indication in the introduction is expected. Manuscripts should be formatted according to the rules of the Software Quality Journal, available by following the "Instructions for Authors” link on the journal webpage [1]. See [2] for frequently asked questions. = Reviewing Details Each paper will be reviewed by at least two experts selected by the guest editors. = Important dates • Deadline for submissions: 30 Nov 2018 • First round reviews: March 2019 • Submission of revised papers: May 2019 • Notification of acceptance: July 2019 • Camera-ready version: September 2019 = Guest Editors All inquiries can be sent to the guest editors of the journal: Yliès Falcone Univ. Grenoble Alpes and Inria Ylies.Falcone@univ-grenoble-alpes.fr Leonardo Mariani University of Milano Bicocca mariani@disco.unimib.it = References [1] Software Quality Journal, 2018. https://www.springer.com/computer/swe/journal/11219 . [2] Springer Frequently Asked Questions, 2018. https://www.springer.com/gp/authors-editors/journal-author/frequently-asked-questions/3832 . -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs