机译:在Linux中查找资源释放遗漏故障
机译:应力交互的三维有限元建模:对载机和封闭矿井故障系统的应用
机译:兰德斯与赫克托矿(加利福尼亚)断层系统之间的机械耦合-艺术。没有。 1869年
机译:Hector:检测系统软件的错误处理代码中的资源释放省略故障
机译:不太可能的路径:用于使用返回码成语的软件的错误处理规范推断
机译:软件系统故障预测的熵流失度量
机译:Hector:在系统软件的错误处理代码中检测资源释放遗漏错误
机译:蒙特卡罗通用可靠性仿真代码,包括共模故障和竖琴故障/错误处理