机译:hippounit:基于电生理数据的海马神经元的详细模型的自动化测试和系统比较的软件工具
机译:基于模型的测试Oracle生成,用于代理系统的自动单元测试
机译:用于自动测试软实时嵌入式软件的环境建模和仿真
机译:从语义到自动测试用例生成的反应系统基于模型的变异测试
机译:根据实时反应系统的正式规范自动生成测试。
机译:Design Space Toolbox V2:自动化软件为自然和合成生物系统启用新型表型为中心的建模策略
机译:使用属性事件语法环境模型进行系统的自动化测试生成和软件风险评估