Automated GUI testing is widely used to help ensure the quality of mobile apps. However,
many GUIs require appropriate text inputs to proceed to the next page, which remains a …

Mobile apps have become ubiquitous. Ensuring their correctness and reliability is important.
However, many apps still suffer from occasional to frequent crashes, weakening their …

Integer overflow is a common vulnerability in Ethereum Smart Contracts (ESCs) and often
causes huge economic losses. Smart contracts cannot be changed once it is deployed on …

The correct use of cryptography is central to ensuring data security in modern software
systems. Hence, several academic and commercial static analysis tools have been …

The Android platform facilitates reuse of app functionalities by allowing an app to request an
action from another app through inter-process communication mechanism. This feature is …

Misuses of library APIs are pervasive and often lead to software crashes and vulnerability
issues. Various static analysis tools have been proposed to detect library API misuses. They …

Reinforcement Learning (RL), one of the most active research areas in artificial intelligence,
focuses on goal-directed learning from interaction with an uncertain environment. RL …

The fast-paced evolution of Android APIs has posed a challenging task for Android app
developers. To leverage Androids frequently released APIs, developers must often spend …

A formally verified program is only as correct as its specifications (SPEC). But how to assure
that the SPEC is complete and free of loopholes? This paper presents Fast, short for Fuzzing …

Software and symmetric testing methodologies are primarily used in detecting software
defects, but these testing methodologies need to be optimized to mitigate the wasting of …