andreas-zeller.github.io:安德烈亚斯·泽勒的主页

关于我 我做软件研究。 我和我的学生创建了工具和技术，通过自动测试、分析和调试其代码及其开发过程来帮助开发人员构建更好的软件。 事实证明，我们的方法在学术界和工业界颇具影响力。 我的列出了最重要的成就。 来自最新消息 [removed][removed] 当前项目 我们的研究项目涉及生成软件测试、自动调试和修复、分析移动系统、分析用户界面等。 本质上，我们的研究侧重于以下问题： 我们如何系统地测试复杂的软件系统？ 我们如何准确地确定和表征输入格式？ 我们如何解释软件故障的原因和情况？ 我们的解决方案通常应用并结合多种技术，包括动态分析、静态分析、规范挖掘、测试生成、自然语言处理、机器学习和形式语言。 我 2020 年最大的项目是本关于测试生成（“fuzzing”）技术的交互式教科书。 您可以直接在浏览器中执行和编辑代码