Search for Articles:
Title / Keyword
Author / Affiliation / Email
Journal
Article Type
 
 
Advanced Search
 
Section
Special Issue
Volume
Issue
Number
Page
 
4.5
2.7
Journals
Applied Sciences
Special Issues
Quality, Testing, and Validation for Emerging Technologies
share announcement

Quality, Testing, and Validation for Emerging Technologies

A special issue of Applied Sciences (ISSN 2076-3417). This special issue belongs to the section "Computing and Artificial Intelligence".

Deadline for manuscript submissions: closed (20 April 2024) | Viewed by 3944

Special Issue Editor

Dr. Moez Krichen

E-Mail Website
Guest Editor
Department of Information Technology, Faculty of Computer Science and Information Technology (FCSIT), Al-Baha University, Alaqiq, Al Bahah 65779-7738, Saudi Arabia
Interests: formal methods; testing & validation; machine learning; blockchain; healthcare; Internet of Things; smart vehicles and smart technologies
Special Issues, Collections and Topics in MDPI journals

Special Issue Information

Dear Colleagues,

Emerging technologies are rapidly transforming our society and our daily lives. Internet, cloud solutions and mobile technology permit us to remain connected and converse remotely. However, nonconformities in the application of new technologies may result in accidents. Quality assurance is crucial since it encompasses the entire product development process, including planning, designing, implementing, and testing. The control of product quality has become an integral aspect of every phase of project management. Exceptional quality management will provide cost-effectiveness and greater project performance. Identifying ways to adopt effective testing strategies as early as possible will aid in the detection and resolution of issues.  In contrast, inadequate quality management can worsen problems and become a time-consuming and costly endeavor.

This Special Issue solicits contributions from scholars and practitioners in the disciplines of modern technological product development, analysis, and validation, which are utilized to successfully manage, control, and ensure product quality. The topics of interest include, but are not limited to:

  • Product validation and verification
  • Security testing
  • Performance testing
  • Quality management
  • Product life cycles
  • Product metrics
  • Formal methods for testing
  • Software refactoring
  • Continuous integration testing
  • Runtime verification
  • Artificial intelligence-based validation
  • Debugging and fault localization

Dr. Moez Krichen
Guest Editor

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. 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 2400 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.

Published Papers (2 papers)

Download All Papers
Order results
Result details
Show export options expand_more Show export options expand_less
Select all
Export citation of selected articles as:

Research

12 pages, 2701 KiB  
Article
Evaluation of an Optical Sorter Effectiveness in Separating Maize Seeds Intended for Sowing
by Dan Cujbescu, Florin Nenciu, Cătălin Persu, Iuliana Găgeanu, Gheorghe Gabriel, Nicolae-Valentin Vlăduț, Mihai Matache, Iulian Voicea, Augustina Pruteanu, Marcel Bularda, Gigel Paraschiv and Sorin Petruț Boruz
Appl. Sci. 2023, 13(15), 8892; https://doi.org/10.3390/app13158892 - 02 Aug 2023
Viewed by 946
Abstract
The current study focuses on analyzing the impact of integrating an optical sorter in a seed-separation technological flow, in terms of increasing the quality of the maize seeds appropriate for sowing. The study showed that there are situations when the use of optical [...] Read more.
The current study focuses on analyzing the impact of integrating an optical sorter in a seed-separation technological flow, in terms of increasing the quality of the maize seeds appropriate for sowing. The study showed that there are situations when the use of optical separation may result in a number of difficulties in removing a variable rate of good seeds from the raw mass, which can bring economic disadvantages. The identified issue encouraged the development of several flow assessment approaches in order to determine the problem’s essence and to develop the best strategy for action. The key finding was that the evaluated optical sorting equipment cannot eliminate impurities without also removing good seeds, resulting in every 1% increase in impurity level and a rate of 0.70% of the good seeds lost. Therefore, farmers must carefully consider the scenarios where integrating optical sorting into their technological flow is a suitable option, considering the input material quality, the selling price of the product, and the risk of missing an important quantity of high-quality seeds. The working method described may be of significant importance to other farmers who intend to choose the components of grain-cleaning processes effectively. Full article
(This article belongs to the Special Issue Quality, Testing, and Validation for Emerging Technologies)
►▼ Show Figures

Figure 1

29 pages, 788 KiB  
Article
A Survey on Formal Verification and Validation Techniques for Internet of Things
by Moez Krichen
Appl. Sci. 2023, 13(14), 8122; https://doi.org/10.3390/app13148122 - 12 Jul 2023
Cited by 17 | Viewed by 2458
Abstract
The Internet of Things (IoT) has brought about a new era of connected devices and systems, with applications ranging from healthcare to transportation. However, the reliability and security of these systems are critical concerns that must be addressed to ensure their safe and [...] Read more.
The Internet of Things (IoT) has brought about a new era of connected devices and systems, with applications ranging from healthcare to transportation. However, the reliability and security of these systems are critical concerns that must be addressed to ensure their safe and effective operation. This paper presents a survey of formal verification and validation (FV&V) techniques for IoT systems, with a focus on the challenges and open issues in this field. We provide an overview of formal methods and testing techniques for the IoT and discuss the state explosion problem and techniques to address it. We also examined the use of AI in software testing and describe examples of tools that use AI in this context. Finally, we discuss the challenges and open issues in FV&V for the IoT and present possible future directions for research. This survey paper aimed to provide a comprehensive understanding of the current state of FV&V techniques for IoT systems and to highlight areas for further research and development. Full article
(This article belongs to the Special Issue Quality, Testing, and Validation for Emerging Technologies)
►▼ Show Figures

Figure 1

Show export options expand_more Show export options expand_less
Select all
Export citation of selected articles as:
 
Displaying articles 1-2
Back to TopTop