Like all software, mobile applications (" apps") must be adequately tested to gain confidence
that they behave correctly. Therefore, in recent years, researchers and practitioners alike …

Context: Software testing is applied to validate the behaviour of the software system and
identify flaws and bugs. Different machine learning technique types such as supervised and …

Mobile applications play an important role in our daily life, while it still remains a challenge
to guarantee their correctness. Model-based and systematic approaches have been applied …

The state space of Android apps is huge, and its thorough exploration during testing remains
a significant challenge. The best exploration strategy is highly dependent on the features of …

Android applications are used extensively around the world. Many of these applications
contain potential crashes. Black-box testing of Android applications has been studied over …

A zap is a two-round, witness-indistinguishable protocol in which the first round, consisting
of a message from the verifier to the prover, can be fixed" once-and-for-all" and applied to …

Context: Automated testing is ubiquitous in modern software development and used to verify
requirement conformance on all levels of system abstraction, including the system's …

Procedure specifications are useful in many software development tasks. As one example,
in automatic test case generation they can guide testing, act as test oracles able to reveal …

Despite the proliferation of Android testing tools, Google Monkey has remained the de facto
standard for practitioners. The popularity of Google Monkey is largely due to the fact that it is …

Pervasiveness of smartphones and the vast number of corresponding apps have underlined
the need for applicable automated software testing techniques. A wealth of research has …