Model-based GUI testing is an important concept in Software GUI testing. Manual testing is a
time-consuming labor and heavily error-prone. It has several well-accepted models that …

Increased efficiency of airplane boarding via the jetway is achieved by sequencing
passengers at the airport terminal. Various strategies have been developed and …

This paper presents a flexible framework that aims at estimating the risk of structural failure
in sewer pipes by utilizing limited or imperfect data. To this end, classical risk analysis is …

The purpose of this paper was to develop a simulation model that allows simultaneous
analysis of airport screening lane performance and power consumption per passenger …

Reliability is the probability that a system or a product fulfills its intended function without
failure over a period of time and it is generally used to determine the reliability, release and …

Traditionally, software testing is aimed at showing the presence of faults. This paper
proposes a novel approach to testing graphical user interfaces (GUI) for showing both the …

One way of developing fast, effective, and high-quality software products is to reuse
previously developed software components and products. In the case of a product family, the …

This paper proposes a framework for testing behavioral model of sequential circuits
implemented in Hardware Description Language (HDL). The concept of Ideal Testing is …

Graphical user interfaces (GUIs) enable comfortable interactions of the computer-based
systems with their environment. Large systems usually require complex GUIs, which are …

Model-based testing employs models for testing. Model-based mutation testing (MBMT)
additionally involves fault models, called mutants, by applying mutation operators to the …