Context The web has had a significant impact on all aspects of our society. As our society
relies more and more on the web, the dependability of web applications has become …

Context: GUI-based testing is a sub-field of software testing research that has emerged in
the last three decades. GUI-based testing techniques focus on verifying the functional …

As JavaScript is becoming increasingly popular, the performance of JavaScript programs is
crucial to ensure the responsiveness and energy-efficiency of thousands of programs. Yet …

To test web applications, developers currently write test cases in frameworks such as
Selenium. On the other hand, most web test generation techniques rely on a crawler to …

Dynamic languages, such as JavaScript, give programmers the freedom to ignore types, and
enable them to write concise code in short time. Despite this freedom, many programs follow …

JavaScript has become one of the most popular programming languages, yet it is known for
its suboptimal design. To effectively use JavaScript despite its design flaws, developers try to …

This paper proposes a solution for automated goal-driven exploration of Android
applications-a scenario in which a user, eg, a security auditor, needs to dynamically trigger …

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 …

We propose and implement a new approach, Document-Assisted Symbolic Execution
(DASE), to improve automated test generation and bug detection. DASE leverages natural …

JavaScript has been a de facto standard language for client-side web programs, and now it
is expanding its territory to general purpose programs. In this article, we classify the client …