机译:AUSTIN:一种开源工具,用于基于搜索的C程序软件测试
机译:基于概率的软件工具,用于评估数字系统的可控制性,可观察性和可测试性模型
机译:解决基于多核的嵌入式汽车软件系统中与时序相关的部署决策的复杂性
机译:AUSTIN:一种用于C语言的基于搜索的软件测试工具及其对已部署的汽车系统的评估
机译:基于反馈的测试导师工具的开发与验证支持软件测试教育学
机译:基于扩散张量成像的全局搜索和术式语言对靠近语言系统的肿瘤手术的评估
机译:aUsTIN:基于搜索的C语言软件测试工具及其对部署的汽车系统的评估