Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code
Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code
复制标题
代码和 ROS 消息中的维度不一致：对 590 万行代码的研究
DOI：
10.1109/iros.2017.8202229
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Detweiler, Carrick
中科院分区：
文献类型：
--
作者：
Ore, John-Paul;Elbaum, Sebastian;Detweiler, Carrick
登录
查看更多内容
轻量级检测物理单元不一致，无需程序注释
DOI：
10.1145/3092703.3092722
发表时间：
2017
期刊：
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
影响因子：
--
作者：
Ore, John-Paul;Detweiler, Carrick;Elbaum, Sebastian
通讯作者：
Elbaum, Sebastian
DOI：
10.6092/joser_2014_05_02_p25
发表时间：
2014-10
期刊：
--
影响因子：
--
作者：
M. Jung;M. Balicki;A. Deguet;R. Taylor;P. Kazanzides
通讯作者：
M. Jung;M. Balicki;A. Deguet;R. Taylor;P. Kazanzides
Phriky-units：一个轻量级、无注释的物理单元不一致检测工具
DOI：
10.1145/3092703.3098219
发表时间：
2017
期刊：
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
影响因子：
--
作者：
Ore, John-Paul;Detweiler, Carrick;Elbaum, Sebastian
通讯作者：
Elbaum, Sebastian
用于机器人软件验证的静态分析技术
DOI：
--
发表时间：
2013
期刊：
IEEE ISR 2013
影响因子：
--
作者：
Agostino Cortesi;Pietro Ferrara;N. Chaki
通讯作者：
N. Chaki
DOI：
10.1109/icse.2009.5070517
发表时间：
2009
期刊：
2009 IEEE 31st International Conference on Software Engineering
影响因子：
--
作者：
Sudheendra Hangal;M. Lam
通讯作者：
M. Lam