马克斯·巴思
人员信息
其他同名人员
优化列表
2020年–今天
2024 【c2】 马克斯·巴思 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 玛丽·克里斯汀·雅各布斯 :
终极测试生成:使用基于自动化的软件模型检查生成测试用例(竞争贡献)。 FASE公司 2024 : 326-330 2023 【c1】 马蒂亚斯·海兹曼 , 马克斯·巴思 , 丹尼尔·迪奇 , 伦纳德·费希特纳 , Jochen Hoenicke公司 , 多米尼克·克伦普 , Mehdi Naouar公司 , 坦尼娅·辛德勒 , 弗兰克·舒塞尔 , 安德烈亚斯·波德尔斯基 :
终极Automizer和CommuHash范式-(竞争贡献)。 TACAS(2) 2023 : 577-581