Automatic Unit Testing Tools Advanced Software Engineering Seminar Benny Pasternak November 2006.
Automatic Unit Testing Tools
ACPT : A Tool for Modeling and Verifying Access Control Policies