* [Caml-list] [sqj-si-pub] CFP Special issue on Improving Software Quality through Formal Methods
@ 2018-10-02 12:10 Ylies Falcone
0 siblings, 0 replies; 1+ messages in thread
From: Ylies Falcone @ 2018-10-02 12:10 UTC (permalink / raw)
To: sqj-si-pub; +Cc: Yliès Falcone, Mariani Leonardo
[-- Attachment #1: Type: text/plain, Size: 3181 bytes --]
Call for Papers
Special Issue in Springer Software Quality Journal
Improving Software Quality through Formal Methods
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  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 . See  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:
Univ. Grenoble Alpes and Inria
University of Milano Bicocca
 Software Quality Journal, 2018. https://www.springer.com/computer/swe/journal/11219 <https://www.springer.com/computer/swe/journal/11219>.
 Springer Frequently Asked Questions, 2018. https://www.springer.com/gp/authors-editors/journal-author/frequently-asked-questions/3832 <https://www.springer.com/gp/authors-editors/journal-author/frequently-asked-questions/3832>.
Caml-list mailing list. Subscription management and archives:
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[-- Attachment #2: Type: text/html, Size: 4142 bytes --]
^ permalink raw reply [flat|nested] 1+ messages in thread
only message in thread, back to index
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-10-02 12:10 [Caml-list] [sqj-si-pub] CFP Special issue on Improving Software Quality through Formal Methods Ylies Falcone
caml-list - the Caml user's mailing list
Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list
AGPL code for this site: git clone https://public-inbox.org/ public-inbox