Lightweight formal models of software weaknesses.

Robin A. Gandhi, Harvey P. Siy, Yan Wu

Browse the full ICSE paper archive.