Brno University of Technology Bozetechova 2, Brno CZ 612 66, Czech Republic;
Brno University of Technology Bozetechova 2, Brno CZ 612 66, Czech Republic;
Brno University of Technology Bozetechova 2, Brno CZ 612 66, Czech Republic;
IBM, Haifa Research Lab Haifa University Campus Haifa, 31905, Israel;
verification; testing; searching;
机译:测试人员的交互性在基于搜索的软件测试中有所作为:受控实验
机译:基于和谐搜索的测试数据生成,用于软件结构测试中的分支机构覆盖
机译:使用基于搜索的技术来测试通过图形转换指定的可执行软件模型
机译:一种基于搜索的并发软件测试平台
机译:在并发软件中进行自动错误发现的指导测试。
机译:基于模型的软件框架用于基于搜索的软件测试
机译:基于搜索的软件工程:基于搜索的扩展有限状态机(EFsm)模型测试方法