Automated generation of monitors for pattern contracts.

Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan

Browse the full SAC paper archive.