Incremental test case generation using bounded model checking: an application to automatic rating

机译：使用有界模型检查生成增量测试用例：自动评估的应用程序

机译：使用模型检查从Simulink / Stateflow模型自动生成测试用例

机译：使用动态测试生成和显式状态模型检查在Web应用程序中查找错误

机译：用于测试Web服务和BPEL的基于模型检查的自动测试套件生成方法

机译：使用模型检查器自动生成具有改进的测试覆盖范围的VHDL测试用例。

机译：基于自动项目生成引入计算机化的图形存储器测试：Rasch Poisson Counts模型的分析

机译：用CHR自动测试数据生成和模型检查

机译：基于网络建模，在自动机网络中自动生成嵌入式分布式控制应用程序，使用功能的UML建模和数据通信来驱动自动代码生成器

机译：用于增量轮产生的信号的逻辑似然性测试方法，其中检测附加段标记的侧面并用于检查似然性

机译：应用程序的自动功能驱动测试和质量检查