Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection.

Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin

Browse the full APLAS paper archive.