搜索历史记录选项已关闭,请开启搜索历史记录选项。
作者: Thomas Ball , Vladimir Levin , Sriram K. Rajamani
DOI: 10.1145/1965724.1965743
关键词:
摘要: SLAM is a program-analysis engine used to check if clients of an API follow the API's stateful usage rules.
Computer Aided Verification,2012, 引用: 23
Lecture Notes in Computer Science,2015, 引用: 11
asian symposium on programming languages and systems,2013, 引用: 1
asian symposium on programming languages and systems,2014, 引用: 7
Implementation and Application of Automata,2011, 引用: 2
,2011, 引用: 19
international workshop on reachability problems,2014, 引用: 4
international workshop on reachability problems,2013, 引用: 5
Lecture Notes in Computer Science,2013, 引用: 25
WOOT'12 Proceedings of the 6th USENIX conference on Offensive Technologies,2012, 引用: 24