In order to apply formal methods in practice, the practitioner has to comprehend a vast
amount of research literature and realistically evaluate practical merits of different …

We present a new tool, named DART, for automatically testing software that combines three
main techniques:(1) automated extraction of the interface of a program with its external …

The application of deep recurrent networks to audio transcription has led to impressive gains
in automatic speech recognition (ASR) systems. Many have demonstrated that small …

Recently there has been great success in using symbolic execution to automatically
generate test inputs for small software systems. A primary challenge in scaling such …

Search has been vital to artificial intelligence from the very beginning as a core technique in
problem solving. The authors present a thorough overview of heuristic search with a balance …

Verification by state-space exploration, also often referred to as model checking, is an
effective method for analyzing the correctness of concurrent reactive systems (for instance …

The success of model checking is largely based on its ability to efficiently locate errors in
software designs. If an error is found, a model checker produces a trail that shows how the …

Production scheduling is a critical activity for the long-term production planning of open pit
mining operations. It deals with the effective management of resources and maximizes cash …

An open pit mining operation is a complex system that constitutes several components or
processes. An optimal production sequence that defines timing of extraction and a dynamic …

The training of molecular models of quantum mechanical properties based on statistical
machine learning requires large data sets which exemplify the map from chemical structure …