安德烈亚斯·斯塔尔鲍尔
人员信息
优化列表
2020年–今天
2023 [c13] 迈克尔·奥尔 , 安德烈亚斯·斯塔尔鲍尔 , 弗雷泽 :
Android Fuzzing:平衡用户输入和意图。 ICST公司 2023 : 37-48 2021 [第12条] 尼娜·科尔伯 , 凯萨琳娜·格德雷希 , 安德烈亚斯·斯塔尔鲍尔 , 弗雷泽 :
在草稿作业中发现异常。 ICSE(SEET) 2021 : 171-182 [第11条] 王文格兰 , 张晨浩 , 安德烈亚斯·斯塔尔鲍尔 , 弗雷泽 , 托马斯·W·普莱斯 :
SnapCheck:快照的自动测试 ! 程序。 ITiCSE(1) 2021 : 227-233 [第10条] 多米尼克·迪纳 , 弗雷泽 , 塞巴斯蒂安·施韦克尔 , 安德烈亚斯·斯塔尔鲍尔 :
从反例生成定时UI测试。 STAF处的TAP 2021 : 53-71 [i4] 尼娜·科尔伯 , 凯萨琳娜·格德雷希 , 安德烈亚斯·斯塔尔鲍尔 , 弗雷泽 :
在草稿作业中发现异常。 CoRR公司 abs/2102.07446 ( 2021 ) [i3] 王文格兰 , 张晨浩 , 安德烈亚斯·斯塔尔鲍尔 , 弗雷泽 , 托马斯·W·普莱斯 :
SnapCheck:自动测试Snap程序。 CoRR公司 abs/2104.11812 ( 2021 ) 2020 【b1】 安德烈亚斯·斯塔尔鲍尔 :
软件分析和验证用抽象传感器。 德国帕绍大学, 2020 【c9】 安德烈亚斯·斯塔尔鲍尔 , 克里斯托夫·弗雷德里奇 , 弗雷泽 :
从头开始验证:学习者程序的程序分析。 ASE公司 2020 : 150-162 【c8】 安德烈亚斯·斯塔尔鲍尔 , 马文·克莱斯 , 弗雷泽 :
自动测试暂存程序。 东南方 2020 : 139-140
2010 – 2019
2019 【c7】 安德烈亚斯·斯塔尔鲍尔 , 马文·克莱斯 , 弗雷泽 :
自动测试scratch程序。 ESEC/SIGSOFT FSE 2019 : 165-175 [i2] 安德烈亚斯·斯塔尔鲍尔 :
摘要传感器。 CoRR公司 abs/1910.07583 ( 2019 ) 2016 【c6】 德克·拜尔 , 马蒂亚斯·丹格尔 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 安德烈亚斯·斯塔尔鲍尔 :
见证软件验证器之间的验证和逐步验证。 软件工程 2016 : 105-106 【c5】 斯文·阿佩尔 , 德克·拜尔 , 维塔利·奥·莫丹 , 瓦迪姆·S·穆提林 , 安德烈亚斯·斯塔尔鲍尔 :
软件模型检查中规范的即时分解。 SIGSOFT FSE公司 2016 : 349-361 2015 【c4】 德克·拜尔 , 马蒂亚斯·丹格尔 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 安德烈亚斯·斯塔尔鲍尔 :
见证软件验证器之间的验证和逐步验证。 ESEC/SIGSOFT FSE 2015 : 721-733 2014 [j1] 德克·拜尔 , 安德烈亚斯·斯塔尔鲍尔 :
基于BDD的软件验证-应用于事件条件操作系统。 Int.J.软件。 技术工具。 Transf公司。 16 ( 5 ) : 507-518 ( 2014 ) 【c3】 德克·拜尔 , 斯特凡·洛韦 , 叶夫根尼·诺维科夫 , 安德烈亚斯·斯塔尔鲍尔 , 菲利普·温德勒 :
CPAchecker中的精度重用。 软件工程 2014 : 41-42 2013 【c2】 德克·拜尔 , 斯特凡·洛韦 , 叶夫根尼·诺维科夫 , 安德烈亚斯·斯塔尔鲍尔 , 菲利普·温德勒 :
有效回归验证的精度重用。 ESEC/SIGSOFT FSE 2013 : 389-399 [i1] 德克·拜尔 , 斯特凡·洛韦 , 叶夫根尼·诺维科夫 , 安德烈亚斯·斯塔尔鲍尔 , 菲利普·温德勒 :
重用精度以进行有效的回归验证。 CoRR公司 腹肌/1305.6915 ( 2013 ) 2012 【c1】 德克·拜尔 , 安德烈亚斯·斯塔尔鲍尔 :
使用CPAchecker进行基于BDD的软件模型检查。 MEMICS公司 2012 : 1-11