Program Synthesis; Distributed Protocol Synthesis; Cache Coherence Protocols; Programming by Example;
机译:TRANSIT:指定带有摘要代码的协议*
机译:免费公共交通是否会增加体育活动和儿童的独立流动性?用于比较儿童活动在两个芬兰城镇与无免费公共交通的情况下的课程
机译:通过不透射线标记物进行的结肠运输研究以研究便秘:验证快速肠道运输人群的新方案。
机译:Transit:使用Concolic代码段指定协议
机译:多功能二进制级的Condolic测试
机译:免费的公共交通会增加儿童的体育活动和独立活动吗?研究方案用于比较有和没有免费公共交通的两个芬兰城镇之间的儿童活动
机译:多线程程序的临界测试及其在安全协议测试中的应用