机译:基于SAT解决方案的Java程序规范的自动化解决方法
机译:TestEra:使用SAT的基于规范的Java程序测试
机译:基于形式化语言动态语义的形式规格,自动生成严格符合的测试
机译:基于SAT解决方案的Java程序规范自动变通方法
机译:一种基于Java GUI的学生程序的自动评分方法。
机译:我们应该停止开发启发式方法而仅在自动化测试程序集中依靠混合整数编程求解器吗?范德林登和李的重逢(2016)
机译:使用SAT解算器自动验证抽象状态机规范的完整性和一致性
机译:能源效率和经济实惠的小型商业和住宅建筑研究计划的任务报告。项目2.5 - 基于模式识别的Fualt检测和诊断。自动诊断软件要求规范版本1。