Automatic Monitoring of Control-flow Through Inheritance Hierarchies.

Benjamin Tyler, Neelam Soundarajan

Browse the full SEKE paper archive.