31 citations · 46 across the 8 of their papers we have counts for
3 papers · 1 filter
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
Juan P. Galeotti, Carlo A. Furia, Eva May +2
Verifiers that can prove programs correct against their full functional specification require, for programs with loops, additional annotations in the form of loop invariants---prop…
The DynAlloy Visualizer
Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky
We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language de…
On Verifying Resource Contracts using Code Contracts
Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky +2
In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage speci…