Using UML Designs to Generate OCL for Security Testing.

Orest Pilskalns, Anneliese Amschler Andrews

Browse the full SEKE paper archive.