Randomized algorithms are widely used to address many types of software engineering
problems, especially in the area of software verification and validation with a strong …

Software bugs are a well-known source of security vulnerabilities. One technique for finding
bugs, symbolic execution, considers all possible inputs to a program but suffers from …

Programs expecting structured inputs often consist of both a syntactic analysis stage, which
parses raw input, and a semantic analysis stage, which conducts checks on the parsed input …

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 chapter gives an overview of the field of model-based testing (MBT), particularly the
recent advances in the last decade. It gives a summary of the MBT process, the modeling …

Machine translation plays an essential role in people's daily international communication.
However, machine translation systems are far from perfect. To tackle this problem …

We present JQF, a platform for performing coverage-guided fuzz testing in Java. JQF is
designed both for practitioners, who wish to find bugs in Java programs, as well as for …

A program can be viewed as a syntactic structure P (syntactic skeleton) parameterized by a
collection of identifiers V (variable names). This paper introduces the skeletal program …

Verifying code equivalence is useful in many situations, such as checking: yesterday's code
against today's, different implementations of the same (standardized) interface, or an …

Refactoring is a transformation that preserves the external behavior of a program and
improves its internal quality. Usually, compilation errors and behavioral changes are …