During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
In a recent paper we introduced a modification of the adaptive beamformer orthogonal rejection test (ABORT) for adaptive detection of signals in unknown noise, by supposing under t...
Francesco Bandiera, Olivier Besson, Danilo Orlando...
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...