Predicate abstraction of Java programs with collections.

Pavel Parzek, Ondrej Lhotk

Browse the full OOPSLA paper archive.