机译:模型检查软件库API使用规则
East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Natl Trusted Embedded Software Engn Technol Res C, Shanghai, Peoples R China;
CNRS, LIAFA, Paris, France|Univ Paris Diderot, Paris, France;
Pushdown systems; Model-checking; Software API usage rules;
机译:SLAM是一种程序分析引擎,用于检查API的客户端是否遵守API的状态使用规则
机译:使用软件模型检查器提取软件库使用模式
机译:基于API库的使用模式的识别和文档
机译:模型检查软件库API使用规则
机译:软件模型检查:缓冲区溢出分析的基准测试和技术
机译:使用科学证据改善医院图书馆服务:南章/医学图书馆协会期刊使用研究。
机译:使用软件模型检查器提取软件库使用模式