Static detection of brittle parameter typing.

Michael Pradel, Severin Heiniger, Thomas R. Gross

Browse the full ISSTA paper archive.