program diagnostics; learning (artificial intelligence); support vector machines; decision trees; C language; Java; fault diagnosis; machine learning models; program properties; user-written code; program analysis; fault invariant classifier; dynamic invariant detection; support vector machine; decision tree learning tools; C programs; Java programs; fault-revealing properties; latent code errors; program executions;
机译:Sulong,感谢所有错误:通过从本机执行模型抽象来发现C程序中的错误
机译:通过基于参数的机器学习识别Prolog编程中的典型方法和错误
机译:在虚拟执行环境中使用动态优化对程序代码进行错误纠正的方法
机译:通过机器学习遍历程序执行来发现潜在的代码错误
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:从基因表达数据学习药物反应中的预测错误–标记样本量和机器学习算法的影响
机译:通过程序执行的机器学习找到潜在的代码错误
机译:在NaREC计算机上执行LGp-30机器语言代码的程序