Property templates for checking source code security.

Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer

Browse the full MEMOCODE paper archive.