In view of the growing complexity of modern software architectures, formal models are
increasingly used to understand why a system works the way it does, opposed to simply …

We present a learning-based approach to detect and fix a broad range of bugs in Javascript
programs. We frame the problem in terms of learning a sequence of graph transformations …

This paper presents a new technique for automatically synthesizing SQL queries from
natural language (NL). At the core of our technique is a new NL-based program synthesis …

Shared expectations and mutual understanding are critical facets of teamwork. Achieving
these in human-robot collaborative contexts can be especially challenging, as humans and …

Software fault localization, the act of identifying the locations of faults in a program, is widely
recognized to be one of the most tedious, time consuming, and expensive-yet equally critical …

Debugging is notoriously difficult and extremely time consuming. Researchers have
therefore invested a considerable amount of effort in developing automated techniques and …

We present a new method for automatically providing feedback for introductory
programming problems. In order to use this method, we need a reference implementation of …

This paper describes GenProg, an automated method for repairing defects in off-the-shelf,
legacy programs without formal specifications, program annotations, or special coding …

Automatic program repair has been a longstanding goal in software engineering, yet
debugging remains a largely manual process. We introduce a fully automated method for …

Context: Safety is of paramount importance for cyber–physical systems in domains such as
automotive, robotics, and avionics. Formal methods such as model checking are one way to …