Building and using pluggable type-checkers.

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivan Muslu, Todd W. Schiller

Browse the full ICSE paper archive.