Advances in Mathematics Computation for Software Engineering

A special issue of Mathematics (ISSN 2227-7390). This special issue belongs to the section "Mathematics and Computer Science".

Deadline for manuscript submissions: 31 October 2024 | Viewed by 940

Special Issue Editors


E-Mail Website
Guest Editor
Faculty of Science, School of Computer Science, Queensland University of Technology (QUT), Brisbane, QLD 4001, Australia
Interests: privacy-preserved IoT security; post-quantum cryptography; blockchain technology; edge machine learning; software security

E-Mail Website
Guest Editor
School of Computer Science & Engineering, University of New South Wales (UNSW), Sydney, NSW 2052, Australia
Interests: software security; machine learning; deep learning; Internet of Things (IoT); service computing

E-Mail Website
Guest Editor
College of Computer and Cyber Security, Fujian Normal University, Qishan Campus, No. 1 Keji Road, Shangjie, Minhou 350117, China
Interests: cryptography privacy in blockchain; federated learning

Special Issue Information

Dear Colleagues,

This Special Issue is dedicated to publishing original research papers that explore the intersection of mathematics and software engineering, particularly in the realm of computational advancements. It emphasizes the development of innovative theories and methods that contribute to this dynamic field. The scope of this Special Issue encompasses the design, implementation, and analysis of sophisticated algorithms and software tools. These tools are pivotal for mathematical computation and reasoning, especially in their application to scientific and engineering challenges.

A key area of focus is the convergence of mathematical computation with software engineering. This convergence, though highly abstract, is instrumental in advancing computer science. At its core, this Special Issue explores software tools and algorithms grounded in mathematical models, underscoring the foundational role of mathematics in computer science. It delves into applied mathematics, particularly discrete mathematics, which plays a crucial role in converting continuous models into discrete forms, thereby facilitating the interaction between computers and human understanding.

Furthermore, this Special Issue highlights the growing importance of mathematical proofs in computer science. These proofs are essential for certifying the reliability of software and hardware systems, offering assurances beyond what testing alone can provide.

Overall, this Special Issue seeks to capture the latest developments and research in mathematical computation and software engineering, covering a wide range of methods, approaches, and related topics.

Topics of this Special Issue include (but not limited to):

  • Algorithmic game theory and mechanism design in software engineering;
  • Mathematical modelling of software engineering metrics;
  • Fuzzy logic and fuzzy systems;
  • Fuzzy cognitive maps, fuzzy decision making, and fuzzy optimization;
  • Artificial neural networks;
  • Bayesian belief networks;
  • Probabilistic reasoning;
  • Support vector machines;
  • Evolutionary algorithms and evolutionary computation;
  • Differential evolution;
  • Intelligent software agent systems and architectures;
  • Chaos theory;
  • Software release planning;
  • Requirements engineering;
  • Requirements prioritization;
  • Software size and cost estimation;
  • Software testing;
  • Software defect prediction;
  • Bug triaging;
  • Software project and process management;
  • Software project risk management;
  • Software architectural decisions;
  • Software architecture design, evaluation, and recovery;
  • Prediction of reusability, maintainability, and testability;
  • Prediction of quality and vulnerability;
  • Cloud application, infrastructure, and platforms;
  • Design tool for cloud computing;
  • Cloud business;
  • Service-oriented architecture in cloud computing;
  • Cloud-based parallel processing;
  • Virtualization on platforms in the cloud;
  • Location-based services, presence, availability, and locality;
  • Mobile clouds for new-millennium, mobile devices;
  • Social clouds (social networks in the cloud);
  • Maintenance and management of cloud computing.

Dr. Ziaur Rahman
Dr. Dipankar Chaki
Dr. Chao Lin
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. Mathematics 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 2600 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

  • optimization
  • algorithms for application domains
  • software engineering
  • machine learning algorithms

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

22 pages, 987 KiB  
Article
Software Fault Localization Based on Weighted Association Rule Mining and Complex Networks
by Wentao Wu, Shihai Wang and Bin Liu
Mathematics 2024, 12(13), 2113; https://doi.org/10.3390/math12132113 - 5 Jul 2024
Viewed by 313
Abstract
Software fault localization technology aims to identify suspicious statements that cause software failures, which is crucial for ensuring software quality. Spectrum-based software fault location (SBFL) technology calculates the suspiciousness of each statement by analyzing the correlation between statement coverage information and execution results [...] Read more.
Software fault localization technology aims to identify suspicious statements that cause software failures, which is crucial for ensuring software quality. Spectrum-based software fault location (SBFL) technology calculates the suspiciousness of each statement by analyzing the correlation between statement coverage information and execution results in test cases. SBFL has attracted increasing attention from scholars due to its high efficiency and scalability. However, existing SBFL studies have shown that a large number of statements share the same suspiciousness, which hinders software debuggers from quickly identifying the location of faulty statements. To address this challenge, we propose an SBFL model based on weighted association rule mining and complex networks: FL-WARMCN. The algorithm first uses Jaccard to measure the distance between passing and failing test cases, and applies it as the weight of passing test cases. Next, FL-WARMCN calculates the initial suspiciousness of each statement based on the program spectrum data. Then, the FL-WARMCN model utilizes a weighted association rule mining algorithm to obtain the correlation relationships between statements and models the network based on this. In the network, the suspiciousness of statements is used as node weights, and the correlation between statements is used as edge weights. We chose the eigenvector centrality that takes into account the degree centrality of statements and the importance of neighboring statements to calculate the importance of each statement, and used it as a weight to incorporate into the weighted suspiciousness calculation of the statement. Finally, we applied the FL-WARMCN model for experimental validation on the Defects4J dataset. The results showed that the model was significantly superior to other baselines. In addition, we analyzed the impact of different node and edge weights on model performance. Full article
(This article belongs to the Special Issue Advances in Mathematics Computation for Software Engineering)
Show Figures

Figure 1

Back to TopTop