Context Static analysis exploits techniques that parse program source code or bytecode,
often traversing program paths to check some program properties. Static analysis …

Writing tests is a time-consuming yet essential task during software development. We
propose to leverage recent advances in deep learning for text and code generation to assist …

This paper presents spoon, a library for the analysis and transformation of Java source code.
spoon enables Java developers to write a large range of domain‐specific analyses and …

Coverage-based fault localization has been extensively studied in the literature due to its
effectiveness and lightweightness for real-world systems. However, existing techniques …

A large body of research efforts have been dedicated to automated software debugging,
including both automated fault localization and program repair. However, existing fault …

Serverless computing greatly simplifies the use of cloud resources. In particular, Function-as-
a-Service (FaaS) platforms enable programmers to develop applications as individual …

Testing and debugging is the most expensive, error-prone phase in the software
development life cycle. Automated testing and diagnosis of software faults can drastically …

Knowing which part of a program processes which parts of an input can reveal the structure
of the input as well as the structure of the program. In a URL http://www. example. com/path …

In this paper we take advantage of the concepts developed for centralized module
management, such as dynamic loading and unloading of modules, and show how they can …

The Java Virtual Machine (JVM) is the cornerstone of the widely-used Java platform. Thus, it
is critical to ensure the reliability and robustness of popular JVM implementations. However …