Abstract Model-based test case generation (MB-TCG) and prioritization (MB-TCP) utilize
models that represent the system under test (SUT) for test generation and prioritization in …

This paper investigates the application of large language models (LLM) in the domain of
mobile application test script generation. Test script generation is a vital component of …

Security testing aims at verifying that the software meets its security properties. In modern
Web systems, however, this often entails the verification of the outputs generated when …

Security testing verifies that the data and the resources of software systems are protected
from attackers. Unfortunately, it suffers from the oracle problem, which refers to the …

Test data generation is one of the key activities that has a significant impact on the efficiency
and effectiveness of software testing. Since manual test data generation is quite inefficient …

To develop premium quality software which satisfies client's requirement, it is necessary to
use automation software testing frameworks and tools adequately. Numerous research …

To facilitate communication among stakeholders, software security requirements are
typically written in natural language and capture both positive requirements (ie, what the …

Software testing is one of the most labor-intensive and crucial phases of the software
development life cycle. It accounts for about 50–60% of the total cost of a project and …

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

The abstract test cases generated through model-based testing (MBT) need to be
concretized to make them executable on the software under test (SUT). Multiple re …