Lattice based modularization of static analyses.

Michael Eichberg, Florian Kbler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini

Browse the full ISSTA paper archive.