基于工作流的软件测试H模型研究

机译：基于V模型的航天软件测试模型的改进研究。

机译：推进测试自动化技术以应对基于模型的软件测试的挑战-客座编辑介绍了第三届IEEE国际软件测试自动化研讨会（AST 2008）的特殊部分

机译：基于工作流模型和多视图的集成企业建模方法％基于工作流模型和多视图的集成企业建模方法

机译：基于工作流程的软件测试过程标准化技术研究

机译：基于通用工作流的模型，以MPIAB为例研究网格系统中的部署问题。

机译：基于模型的软件框架用于基于搜索的软件测试

机译：基于V型号的航空航天软件测试模型改进研究

机译：统计方法的软件测试：基于二项模型，覆盖设计，变异测试和使用模型的方法的初步成功估计

机译：用于软件开发企业的软件测试设计和执行方法，涉及到对软件测试领域和组成测试单元的研究，其中对测试材料中的必要性进行研究

机译：控制模型的研究方法，控制模型的研究装置，计算机程序以及基于该模型的操作

机译：基于工作流引擎的工作流模型仿真系统和直接模拟过程定义模型的方法