机译:使用有限精度oracles的线性编程
机译:无状态技术,用于生成全局和本地测试oracle,以传递消息并发程序
机译:按需精度的预言在两阶段随机规划中的应用-计算研究
机译:使用机器学习技术来检测没有测试预言的程序的变形关系
机译:基于模型的测试Oracle的自动指导,以承认真实的程序行为。
机译:大因数域结构SVM的因子分解Oracle双重分解学习
机译:NIZK的变换几乎与没有可编程随机神谕的菲亚特 - 沙米尔变换一样高效和通用
机译:ORaCLE的ORaCLE BINaR Y内部翻译(轨道)代数编程系统