Automated detection of software vulnerabilities is a fundamental problem in software
security. Existing program analysis techniques either suffer from high false positives or false …

Software Vulnerability Prediction (SVP) is a data-driven technique for software quality
assurance that has recently gained considerable attention in the Software Engineering …

The use of learning-based techniques to achieve automated software vulnerability detection
has been of longstanding interest within the software security domain. These data-driven …

Effective automated program repair techniques have great potential to reduce the costs of
debugging and maintenance. Previously proposed automated program repair (APR) …

Patching is a common activity in software development. It is generally performed on a source
code base to address bugs or add new functionalities. In this context, given the recurrence of …

A notable class of techniques for automatic program repair is known as semantics-based.
Such techniques, eg, Angelix, infer semantic specifications via symbolic execution, and then …

The pull-based development model is an emerging way of contributing to distributed
software projects that is gaining enormous popularity within the open source software (OSS) …

Fix pattern-based patch generation is a promising direction in Automated Program Repair
(APR). Notably, it has been demonstrated to produce more acceptable and correct patches …

Real software, the kind working programmers produce by the kLOC to solve real-world
problems, tends to be" natural", like speech or natural language; it tends to be highly …

Program repair is an important but difficult software engineering problem. One way to
achieve acceptable performance is to focus on classes of simple bugs, such as bugs with …