研究
我是软件工程主席,计算机科学研究所,弗莱堡大学我的研究兴趣是软件测试和程序分析。
工具
- 加佐生成相关事件序列用于GUI测试用例。
- 乔吉检测不可行代码在Java程序中。
出版物
2015
- 如果A失败了，B还能成功吗汽车系统测试中测试结果之间的相关性推断
-与托拜厄斯·莫奇尼奇、安德烈亚斯·波德尔斯基和西尔克·瓦格纳合作。
ICST 2015，软件测试、验证和确认国际会议
- 系统测试和程序验证
-与塞尔吉奥·费奥·阿雷尼斯、安德烈亚斯·波德尔斯基和马丁·韦尔勒合作。
SE 2015，软件工程与管理
2014
- GUI应用程序的验证：黑盒方法
-与埃夫伦·埃尔米斯、塞尔吉奥·费奥·阿雷尼斯和安德烈亚斯·波德尔斯基合作。
ISoLA 2014，利用形式方法应用、验证和确认国际研讨会
- 通过程序切片减少GUI测试套件
——与安德烈亚斯·波德尔斯基和马丁·韦尔勒合作。
ISSTA 2014，软件测试与分析国际研讨会
- 验证进度量化
——与约翰·穆雷、菲利普·吕默和马丁·施瓦夫合作。
VeriSure 2014，验证和保证
- 逐步核查者
-与辛迪·鲁比奥·冈萨雷斯、菲利普·吕默、马丁·施瓦夫和娜塔拉詹·尚卡尔合作。
NFM 2014，NASA形式方法
2013
- 重建可访问代码的路径
–与刘志明（Zhiming Liu）和马丁·施瓦夫（Martin Schäf。
ICFEM 2013，正式工程方法国际会议
- 控制流图探索理论
–与菲利普·吕默和马丁·施瓦夫合作。
2013年ATVA国际验证与分析自动化技术研讨会
- Joogie：从Java到Jimple再到Boogie
–与菲利普·吕默和马丁·施瓦夫合作。
SOAP 2013，ACM SIGPLAN国际研讨会Java程序分析的最新进展
- DiaMac：用于OpenEHR互操作性研究的轻量级系统
-与约翰内斯·费伯、刘志明和纳费斯·卡马尔合作。
FHIES 2013，健康信息工程和系统基础国际研讨会
2012
- GUI应用程序的黑盒验证
-与埃夫伦·埃尔米斯、塞尔吉奥·费奥·阿雷尼斯和安德烈亚斯·波德尔斯基合作。
（技术报告）
- 基于模型的嵌入式系统用户界面开发
-与Lena Barth和Bernd Westphal合作。
ACES-MB 2012，基于模型的嵌入式系统架构和构建国际研讨会
- 参数化GUI测试
–与Pedro Borromeo、Martin Schäf和Andreas Podelski合作。
2012年国际测试软件和系统会议
- 用于GUI测试的轻量级静态分析
-与安德烈亚斯·波德尔斯基、克里斯蒂亚诺·贝托里尼、马丁·施瓦夫、伊斯汉·巴内吉和阿蒂夫·梅隆合作。
ISSRE 2012，软件可靠性工程国际研讨会.支持材料。
- Java的不可行代码检测
–与Martin Schäf。
CAV 2012，计算机辅助验证
- 基于模型的GUI测试趋势
-与克里斯蒂亚诺·贝尔托里尼、西蒙·帕尔和马丁·施瓦夫合作。
《计算机进展》第86卷
- 灰盒GUI测试：事件序列的高效生成
-与克里斯蒂亚诺·贝尔托里尼、马丁·施瓦夫、伊斯汉·班纳吉和阿蒂夫·梅隆合作。
（技术报告）
2011年及以上
- 幕后：在GUI测试用例生成中结合上下文的方法
-与克里斯蒂亚诺·贝尔托里尼（Cristiano Bertolini）和马丁·施瓦夫（Martin Schäf。
ICSTW 2011，软件测试、验证和确认研讨会国际会议
- 在Java中实现zuverlässiger Zahlungssysteme。J2EE下的Entwurf、Realisierung和Test mit
–与安德烈亚斯·亨斯（Andreas Hense）合作。
VDM，2008年。国际标准图书编号：3639052110
教学
- 2012/2013年冬季软件工程测试程序
- 软件测试，2012/2013年冬季学期
- 基于模型的测试与分析，2012年夏季学期
- 软件测试，2011/2012冬季学期
- 软件工程，2011年夏季学期
- 软件测试，2010/11冬季学期
- 软件测试，2009/10年冬季学期
- 软件实验室，2009年夏季学期
- 2009年夏季学期软件工程高级主题
- 业务流程，2008/09冬季学期
- 软件实验室，2007年夏季学期
- 验证，2006/07冬季学期
- 2006/07冬季学期所有学院学生的软件实验室
- 安全系统，2006/07冬季学期
- 软件实验室，2006年夏季学期
学生的监督
- Borromeo，P.：参数化GUI测试（2012年完成）
- Pahl，S.：GUI测试用例的自动灰盒生成（2011年完成）
- Hummel，S.：德尔菲方法——一种合适的需求启发方法？（2011年完成）
- Kacmaz，G.：基于CaVE方法建立和维护软件产品核心（2011年完成）
- Ùzer，G.：TaxApp：移动设备在线学习应用程序的分析和设计（2010年完成）
- Schön，T.：基于自由和专有软件的IT基础设施建模（2009年完成）
- Gazic，C.G.：《质量保证体系需求建模》（2008年完成）
