posted by user: tinocortesi || 6903 views || tracked by 3 users: [display]

SATRANH 2020 : Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons

FacebookTwitterLinkedInGoogle

Link: https://www.mdpi.com/journal/applsci/special_issues/Static_Analysis_Techniques
 
When N/A
Where N/A
Submission Deadline Apr 30, 2020
Categories    software engineering   formal methods   programming languages   verification
 

Call For Papers

We cordially invite you to consider submitting a paper to the Special Issue of the journal Applied Sciences (ISSN 2076-3417; IF 2.217) on “Static Analysis Techniques: Recent Advances and New Horizons”.

Static analysis is currently recognized as a key mean for enhancing software security and reliability. It is widely recognized as a fundamental approach for program verification, bug detection, compiler optimization, program understanding, and software maintenance. In fact, a white-box semantics-based approach to the analysis of source code can automatically reveal errors that do not manifest until a disaster occurs weeks, months or years after release, which might be very difficult to reproduce and that might not be captured by testing, as tests can only cover a finite number of execution traces. Several techniques have been introduced in the scientific literature, and several tools implementing such techniques are currently in use on software written in different programming language targets and focusing on different program properties.

This Special Issue is aimed at collecting new contributions in this area, ranging from the introduction of new techniques to their practical implementation and applications with a particular emphasis on applied aspects, i.e., on the issues related to scalability, interoperability, and maintainability of static analysis tools in highly demanding real scenarios.

Contributions are welcome on all aspects of static analysis, including, but not limited to:

Abstract Interpretation;
Data-flow and control-flow analysis;
Model checking;
Program verification;
Program certification;
Security analysis;
Type checking.
Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming.

Extended versions of papers presented in international conferences are welcome if the extended version contains significant additions which were not in the conference version of the paper. In this case, the authors are invited to submit a cover letter explaining how the submitted paper differs from the conference one.

Prof. Dr. Agostino Cortesi
Dr. Pietro Ferrara
Guest Editors

Manuscript Submission Information

Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Applied Sciences is an international peer-reviewed open access semimonthly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 1500 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.

Related Resources

SI on ATD&IS III 2024   Special Issue on Advanced Technologies in Data and Information Security III, Applied Sciences, MDPI
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
IMAACA 2024   International Conference on Integrated Modeling and Analysis in Applied Control and Automation
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
ADMA 2024   20th International Conference Advanced Data Mining and Applications
Interdisciplinary Social Sciences 2024   Nineteenth International Conference on Interdisciplinary Social Sciences Jagiellonian University, Kraków, Poland + Online