标题:Model-checking software library API usage rules
作者:Song, F[1]; Touili, T[2,3]
作者全称:Song, Fu[1]; Touili, Tayssir[2,3]
通讯作者:Song, Fu(fsong@sei.ecnu.edu.cn)
通讯作者地址:Song, F (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Natl Trusted Embedded Software Engn Technol Res C, Shanghai, Peoples R China.
出版年:2016
卷:15
期:4
页码:961-985
关键词:Model-checking; Pushdown systems; Software API usage rules
摘要:Modern software increasingly relies on using third-party libraries which are accessed via application programming interfaces (APIs). Libraries usually 更多
收录类别:SCOPUS;SCIE;CPCI-S;EI
当年影响因子:1.654
5年影响因子:1.606
JCR分区:Q2
资源类型:外文期刊论文;外文会议论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
相关成果:

个性服务

原文链接

影响因子

当年影响因子 : 1.654

网络计量

其他

TOP