Testing is an integral part of life cycle of software development/It aims to create a highly
uncompromising framework. The program tests are conducted to verify the complex actions …

Human errors are attributed to a majority of accidents and malfunctions in complex
engineered systems. The human error and functional failure reasoning (HEFFR) framework …

Generation of test cases is one of the essential activities of the software testing process. The
process of executing a programme to identify defects to improve the system's quality is …

The importance of automated testing skills for programmers has increased in recent software
development. However, novice programmers have few opportunities to learn how to design …

Software testing is an effective method of software quality assurance. In this paper, we
define the activity flow graph formally, and describe the mapping rules from UML activity …

Model-based testing (MBT) is a promising approach for generating test cases from system
models, providing high levels of automation and effectiveness. The potential for automation …

In addressing the need for test case generation in software projects and the validation and
repair processes, various algorithms and AI models are increasingly being applied with …

Most accidents and malfunctions in complex engineered systems are attributed to human
error. However, a closer inspection would reveal that such mishaps often emerge as a result …

In model-based testing (MBT), the quality of input models and their relevance with the testing
target has a direct impact on the quality of the test suite and the effectiveness of the whole …

Model-based testing (MBT) has attracted a lot of attention and has been extensively applied
in different areas such as probabilistic systems, mobile systems, concurrent systems, real …