Regression testing activities greatly reduce the risk of faulty software release. However, the
size of the test suites grows throughout the development process, resulting in time …

State-based testing is a challenging area in the software testing field. This paper proposes a
set of algorithms to generate test cases from a state chart diagram based on various …

Abstract Testing Internet of Things (IoT) systems is challenging. This is not only because of
the various aspects of IoT systems, such as software, hardware, and network that need to be …

Information Technology has rapidly developed in recent years and software systems can
play a critical role in the symmetry of the technology. Regarding the field of software testing …

Automaton learning has attained a renewed interest in many interesting areas of software
engineering including formal verification, software testing and model inference. An …

Regression testing is an essential part of testing. Regression testing focuses on finding the
new errors when some modification is done in software due to circumstances. During the …

Device drivers are an essential part of the Linux kernel. Bugs in these components may
compromise the stability of any GNU/Linux operating system. To mitigate that, device drivers …

Data intensive applications are one of the most critical real-time applications which are
desired in most of the new-normal practices such as recommendation systems, social media …

Testing safety-critical software systems like urban railway interlocking systems is crucial
since a software crash may lead to a terrible loss of assets and human life. A key problem in …

Learning enabled autonomous systems provide increased capabilities compared to
traditional systems. However, the complexity of and probabilistic nature in the underlying …