New York University.;
机译:基于形式化语言动态语义的形式规格,自动生成严格符合的测试
机译:在硬件描述语言上使用程序切片技术的分层测试生成方法
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:动态编程语言的基于搜索的软件测试和测试数据生成
机译:英语和第三代编程语言教学实践分析。
机译:完善的下一代测序工具的三种编程语言的比较
机译:基于搜索的软件测试和动态编程语言的测试数据生成