Sip4J: Statically inferring permission-based specifications for sequential Java programs.

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

Published in: CoRR (2019)

Keyphrases

java programs
multi threaded
software components
java language
access control
real world
high level
test suite