U.S.-China Cooperative Research: A Theory and Methodology for Testing Concurrent Software Systems

9731620该奖项支持北达科他州州立大学何旭东领导的研究组和南京大学中国分校洪姝领导的研究组在测试并发软件系统方面发起的合作研究。何教授是并行系统形式化方法专家，朱教授是软件测试理论专家。该项目的目标是开发一种用于测试并发软件系统的一般理论，并开发一种专门用于测试分层谓词转换网的方法。中方将由中国国家自然科学基金提供支持。

9731620 He This award supports initiation of collaborative research on testing concurrent software systems between the research group led by Xudong He at North Dakota State University and the research group led by Hong Zhu at Nanjing University in China. Professor He is an expert on formal methods for concurrent systems and Professor Zhu is an expert on software testing theory. The goals of the project are to develop a theory for testing concurrent software systems in general and to develop a methodology specifically for testing Hierarchical Predicate Transition nets. Support on the Chinese side will be provided by the National Natural Science Foundation of China.