机译:Sulong,感谢所有错误:通过从本机执行模型抽象来发现C程序中的错误
Johannes Kepler University Linz Austria;
Oracle Labs Austria;
Johannes Kepler University Linz Austria;
Oracle Labs Austria;
Johannes Kepler University Linz Austria;
Sulong; memory errors; bug detection; C;
机译:Sulong,感谢所有错误:通过从本机执行模型抽象来发现C程序中的错误
机译:通过符号执行程序来检测错误的正式模型
机译:通过两阶段抽象解释改进逻辑程序的执行模型
机译:在Java本机接口程序中查找错误
机译:使用静态分析查找大型软件系统中的错误传播错误。
机译:利用药物疾病模型资源互操作性框架的新型WinBUGS插件轻松进行复杂的贝叶斯建模工作流的编码和执行
机译:在Java Native Interface程序中查找错误