Extracting Permission-Based Specifications from a Sequential Java Program.

Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmed

Browse the full ICECCS paper archive.