Northeastern University, Boston, USA;
Northeastern University, Boston, USA;
机译:将完整测试集生成问题转换为伪布尔编程
机译:SLAM是一种程序分析引擎,用于检查API的客户端是否遵守API的状态使用规则
机译:整数布尔规划问题的概率稳定性分析程序的复杂性
机译:IJIT:具有立即翻译的布尔计划分析API
机译:使用API抽象和执行历史记录的大型现实世界程序的可扩展符号分析。
机译:李斯特菌噬菌体的比较基因组分析揭示了广泛的马赛克程序化的翻译移框和一个新颖的噬菌体插入位点。
机译:关于进化布尔函数的简单遗传规划分析