Sciweavers

11 search results - page 3 / 3
» A UML-based static verification framework for security
Sort
View
SIGSOFT
2007
ACM
14 years 5 months ago
Mining API patterns as partial orders from source code: from usage scenarios to specifications
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
Mithun Acharya, Tao Xie, Jian Pei, Jun Xu