Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Mahmood Ali, Werner Dietl, … .
Preventing bugs with pluggable type checking Michael Ernst and Mahmood Ali University of Washington and MIT OOPSLA 2009 tutorial print(@Readonly Object.
Detecting and preventing bugs with pluggable type-checking
print( @Readonly Object x) { List< @NonNull String> lst; …
Usable code verification: balancing costs and benefits Two nuggets: User-defined verifiers Crowd-sourced verification Michael D. Ernst University of Washington.
Preventing bugs with pluggable type checking