Loria - Universite Nancy 2, Campus scientifique, BP 239 54506 Vandoeuvre les Nancy cedex, France;
机译:基于形式化语言动态语义的形式规格,自动生成严格符合的测试
机译:从用例到UML状态机的自动过渡,以支持基于状态的测试
机译:自动唯一输入输出序列生成,用于FSM一致性测试
机译:基于UML状态机的一致性测试自动测试案例生成,执行和评估
机译:使用基于数据依赖的可测试性转换自动生成测试数据。
机译:从全基因组测序数据评估影响基于机器学习的抗生素敏感性测试的性能和可靠性的参数
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。