路径敏感分析相关论文
大量而广泛存在的源码系统使得软件源码的安全问题日益重要.文中在大型源码系统中采取路径敏感的方式挖掘关联变量访问规则,并自动......
软件缺陷是衡量软件测试充分性的一项重要指标，为了提高基于BPEL的组合Web服务流程的可靠性和健壮性，提出了一种死路径语义下路径敏......
