Analysis of invariants for efficient bounded verification.

Juan P. Galeotti, Nicols Rosner, Carlos Lpez Pombo, Marcelo F. Frias

Browse the full ISSTA paper archive.