Software Reliability, Security and Quality Assurance

A special issue of Software (ISSN 2674-113X).

Deadline for manuscript submissions: 31 December 2024 | Viewed by 911

Special Issue Editors


E-Mail Website
Guest Editor
Graduate School of Advanced Science and Engineering, School of Informatics and Data Sciences, Hiroshima University, 1-4-1 Kagamiyama, Higashihiroshima 7398527, Japan
Interests: stochastic model; reliability and maintenance; performance evaluation
Special Issues, Collections and Topics in MDPI journals

E-Mail Website
Guest Editor
Graduate School of Advanced Science and Engineering, School of Informatics and Data Sciences, Hiroshima University, 1-4-1 Kagamiyama, Higashihiroshima 7398527, Japan
Interests: software reliability; dependable computing; performance evaluation; computer security
Special Issues, Collections and Topics in MDPI journals

E-Mail Website
Guest Editor
School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing, China
Interests: software testing, fault localization, and safety issues for autonomous systems; testing and debugging for Machine Larning Systems
Special Issues, Collections and Topics in MDPI journals

Special Issue Information

Dear Colleagues,

In the era of Industry 4.0, software applications, such as cyber-physical systems (CPSs), server systems, machine-learning-based systems, data-based systems, and real-time computing systems, play an important role in both industry and our daily lives. These systems tend to be composed of many different components, which may interact with each other and exhibit complex behaviours. Since these systems are controlled by software, software reliability, security, and quality assurance are critical, as failures in these systems may lead to disruptive results, even the loss of human lives. Currently, extensive studies on software reliability, security, and quality assurance, including formal engineering, software test, verification and validation techniques, and reliability and security modelling, have been conducted, aiming to improve several attributes such as the systems’ reliability, security, availability, safety, etc. In complex systems, a gap between the vast number of interacting components and the scalability of current approaches still exists. Nevertheless, we believe the demand for dependable software systems motivates the development of novel techniques or feasible adaptations of existing techniques, addressing issues such as component interactions or real-time scheduling.

For this Special Issue, we welcome high-quality submissions that were presented at The 6th World Symposium on Software Engineering (WSSE 2024), Kyoto, Japan, on September 13-15, 2024, and The 1st International Workshop on Advanced Intelligent Software Quality (AISQ 2024), in conjunction with The 35th IEEE International Symposium on Software Reliability Engineering (ISSRE 2024) in Tsukuba, Japan, on October 28-31, 2024. However, presentation at these symposiums is not mandatory for submission to this Special Issue. If the paper is accepted, then the authors are requested to cover the APC required by MDPI. For the best quality papers evaluated by the Guest Editors, MDPI will give a token of 100% discount for the top 10 high quality papers.

Prof. Dr. Tadashi Dohi
Dr. Junjun Zheng
Dr. Xiao-Yi Zhang
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 submissions that pass pre-check are 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. Software is an international peer-reviewed open access quarterly 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 1000 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.

Keywords

  • software reliability
  • software security
  • software quality assurance
  • requirement engineering
  • formal engineering
  • software test
  • verification and validation techniques
  • software reliability modelling
  • software security modelling
  • software metrics
  • empirical software engineering

Benefits of Publishing in a Special Issue

  • Ease of navigation: Grouping papers by topic helps scholars navigate broad scope journals more efficiently.
  • Greater discoverability: Special Issues support the reach and impact of scientific research. Articles in Special Issues are more discoverable and cited more frequently.
  • Expansion of research network: Special Issues facilitate connections among authors, fostering scientific collaborations.
  • External promotion: Articles in Special Issues are often promoted through the journal's social media, increasing their visibility.
  • e-Book format: Special Issues with more than 10 articles can be published as dedicated e-books, ensuring wide and rapid dissemination.

Further information on MDPI's Special Issue polices can be found here.

Published Papers (1 paper)

Order results
Result details
Select all
Export citation of selected articles as:

Research

18 pages, 568 KiB  
Article
A Fuzzing Tool Based on Automated Grammar Detection
by Jia Song and Jim Alves-Foss
Software 2024, 3(4), 569-586; https://doi.org/10.3390/software3040028 (registering DOI) - 14 Dec 2024
Abstract
Software testing is an important step in the software development life cycle to ensure the quality and security of software. Fuzzing is a security testing technique that finds vulnerabilities automatically without accessing the source code. We built a fuzzer, called JIMA-Fuzzing, which is [...] Read more.
Software testing is an important step in the software development life cycle to ensure the quality and security of software. Fuzzing is a security testing technique that finds vulnerabilities automatically without accessing the source code. We built a fuzzer, called JIMA-Fuzzing, which is an effective fuzzing tool that utilizes grammar detected from sample input. Based on the detected grammar, JIMA-Fuzzing selects a portion of the valid user input and fuzzes that portion. For example, the tool may greatly increase the size of the input, truncate the input, replace numeric values with new values, replace words with numbers, etc. This paper discusses how JIMA-Fuzzing works and shows the evaluation results after testing against the DARPA Cyber Grand Challenge (CGC) dataset. JIMA-Fuzzing is capable of extracting grammar from sample input files, meaning that it does not require access to the source code to generate effective fuzzing files. This feature allows it to work with proprietary or non-open-source programs and significantly reduces the effort needed from human testers. In addition, compared to fuzzing tools guided with symbolic execution or taint analysis, JIMA-Fuzzing takes much less computing power and time to analyze sample input and generate fuzzing files. However, the limitation is that JIMA-Fuzzing relies on good sample inputs and works primarily on programs that require user interaction/input. Full article
(This article belongs to the Special Issue Software Reliability, Security and Quality Assurance)
Show Figures

Figure 1

Back to TopTop