X-PERT:用于跨浏览器不一致性检测的 Web 应用程序测试工具

浏览器 技术 HTML 伴随成长的中国味品牌


VISTA:使用计算机视觉修复 Web 测试

可视化技术 图像处理 技术 软件 HTML 集成开发环境


iMPAcT 工具:在移动应用上测试 UI 模式

Android 2019科技之光 智能手机 Automator 软件 Java 技术 iOS 物理


TESTCOV:可靠的测试套件执行和覆盖率度量

XML Linux 软件 Docker Apache 虚拟机 技术 编程语言 可视化技术


T3i:用于生成和查询 Java 测试套件的工具

Java 脚本语言 Groovy 算法


SUSHI:用于具有复杂结构输入的程序的测试生成器

寿司 数据结构 算法 Java 设计 软件


LAND:适用于 Android 应用的用户友好且可自定义的测试生成工具

Android 脚本语言 设计 技术 人生第一份工作


JQF:Java 中基于覆盖率引导的属性测试

Java 算法 Apache 数据结构 编译器 设计 技术 X86 Google 开源软件


基于 JavaScript 进行符号执行测试

JavaScript Node.js Chrome 技术 Android 浏览器 2019科技之光


Humanoid:一种基于深度学习的 Android 自动化黑盒测试方法

Android 技术 深度学习 设计 人工智能 人力资源 机器人 Google Google Pla


CoGenTe:代码生成器测试工具

软件 技术 Eclipse 可视化技术 Java 集成开发环境 算法 人生第一份工作


GUITest:用于全自动 GUI 鲁棒性测试的 Java 库

Java Word 2019科技之光 智能手机 平板电脑 微软 浏览器 Mac电脑 程序设计 可视化


GRT:基于编排程序分析的自动测试生成器

软件开发过程 软件 技术 设计 人力资源


EvoSuite: 面向对象软件的自动化测试套件生成

软件 Java Eclipse 技术


DroidMate-2:Android 测试生成平台

Android 软件 操作系统 技术 设计 算法 通信 Google 物理 Facebook Goo


DroidBot:Android 的轻量级 UI 指导测试输入生成器

Android 算法 软件 技术 脚本语言 设计 GitHub Mac App Store Goog


DLFuzz:深度学习系统的差分模糊测试

深度学习 技术 软件 无人驾驶 自然语言处理 人工智能 鸵鸟


BERT: 一个行为回归测试工具

Java Eclipse 软件 集成开发环境 技术


AppFlow:使用机器学习来合成健壮的、可重复使用的 UI 测试

机器学习 脚本语言 设计 云计算 万物尝鲜节 新闻


团队在众包竞赛中成功的任务分工:资源分配与协同效应

众包 国创上头条 美好,一直在身边 人生第一份工作 技术 社交网络 文章


金钱激励对于非激励用户行为的溢出效应—来自在线知识市场的证据

知乎 在线教育 经济 市场营销 美好,一直在身边 Quora Stack Overflow UGC


基于众包:用于 IT 创意竞赛的激励支持组件

设计 众包 国创上头条 人生第一份工作 体育 软件 心理学 技术 市场营销


协作工程的研究与实践计划:贡献、见解与未来方向

技术 设计 投资 跳槽那些事儿 国创上头条 高能小子终极装备


评估团队协作质量:协作成熟度模型的开发和现场应用

技术 人生第一份工作 设计 跳槽那些事儿 土木工程 Excel 软件


社交媒体上的金钱激励和股票意见

投资 众包 文章 国创上头条


在线创新社区中用户参与度对创新结果的影响

跳槽那些事儿 国创上头条 Salesforce 人生第一份工作 市场营销 读书 谢谢你喜欢我


超越头脑风暴:探索团队的融合

技术 思科系统


众包管理:在众包竞赛中加入奖金担保和进程内反馈的影响

众包 技术 设计


数字商业战略:迈向新一代的洞察力

技术 云计算 人生第一份工作 美好,一直在身边 社交网络 国创上头条 设计 交通 大数据


外包给一个未知的员工队伍:将开源作为一种全球外包战略

开源软件 软件 软件开发过程 人生第一份工作 跳槽那些事儿 美好,一直在身边 国创上头条 Java


是什么激励了贡献用户和潜水用户?网络反馈论坛调查

潜水 美好,一直在身边 政治 设计 经济 技术 跳槽那些事儿 想象伟大的一平方公里 人生第一份工作


在线用户社区中潜在的和现存的用户比较

国创上头条 Android 美好,一直在身边 iOS 设计 人生第一份工作 运营商


知识社区中平台投资与用户贡献之间的关系:知识植入的作用

投资 软件 技术 SAP公司 国创上头条 跳槽那些事儿 美好,一直在身边 人生第一份工作


通过价值敏感设计为弱势群体发声

众包 设计 伦理 经济 亚马逊公司 技术 大众汽车 美好,一直在身边 人机交互 文章 通信


在线平台贡献评论的外在奖励与内在奖励

文章 市场营销 汽车租赁 设计 读书 人生第一份工作 心理学


在众包竞赛中的显著性偏差

众包 Kaggle 国创上头条


协调在线社区中的相互依赖性:一个开源软件项目的研究

开源软件 软件 技术 Ruby 编程语言 人生第一份工作 虚拟机


提出在线创新社区的混合理论

国创上头条 技术 自然科学 3D打印


人群的 IQ:理解和提高结构化的用户产生内容的质量

UGC 设计 众包 动物 植物 人生第一份工作 加拿大 历史


数字化时代的数据收集:学生样本的创新性替代品

众包 技术 大学 电脑 设计 文化 美好,一直在身边


群体驱动的竞争性智能:了解本地市场竞争与在线评级分布关系

众包 Yelp 经济 设计 餐饮 网络爬虫 美好,一直在身边 支付 可以很 ____ 地理


社交游戏的社会影响力和盈利能力

社交网络游戏 交个朋友吧 经济 社交网络 腾讯 支付 可以很 ____ 国创上头条 美好,一直在身边


关于成员积极参与网络问答社区行为的理解:一个理论与实证分析

设计 技术 雅虎 搜索引擎 读书 人生第一份工作 潜水


具有层次结构的激励会让用户更努力吗?来自在线知识交流的证据

UGC 众包 高能小子终极装备 技术 社交网络


志愿者参与文化众包工作的时间动机

众包 文化 澳大利亚 国创上头条 美好,一直在身边 跳槽那些事儿 历史 软件 收藏 设计


知识共享轨迹对临时在线群体创新结果的影响

国创上头条 众包


03.05 知识共享轨迹对临时在线群体创新结果的影响

国创上头条 众包


03.04 报纸和博客对信息技术公司成立的影响

人生第一份工作 技术 创业 新闻 经济 政治


03.01 基于多模态数据集的程序合成

XML SAT 算法


02.28 使用学习概率模型加速基于搜索的程序合成

算法 美好,一直在身边 技术


02.26 程序增强:通过众包进行程序合成

众包 电脑 Stack Overflow Java 算法 HTML 支付 可以很 ____ Java


02.25 使用自然语言进行程序合成

算法 Excel 英语 技术 Flash 搜索引擎 Word 设计 编程语言 电脑 软件 机器学习


资源引导的程序合成

技术 算法 程序员 数据结构


通过自然语言和示例进行组合程序合成

算法 技术 自然科学 设计


从程序验证到程序合成

算法 程序员 技术 程序设计 算术 编程语言 设计 哲学


程序合成构建可验证可解释的强化学习

深度学习 技术 算法 人工智能 编程语言 设计 人生第一份工作 机器学习


类型和示例制导的程序合成技术

算法 技术 数据结构 编程语言 OCaml 泛函编程 设计 机器学习 F1赛车


CSNIPPEX:问答网站的可编译代码段的自动合成

Stack Overflow Java 软件 编译器 软件工程 技术 HTML 社交网络 设计 人生


挖掘单元测试用于代码推荐

推荐技术 设计 技术 Eclipse


推荐异常处理代码的启发式策略

推荐技术 软件 Java 设计 信息检索


最大边际矩阵分解用于代码推荐

推荐技术 Eclipse 算法 软件 F1赛车 信息检索 集成开发环境 技术


一个有效的基于 web 搜索的 java API 使用示例推荐系统

Java 推荐技术 程序员 HTML 搜索引擎 Bing Eclipse 软件 Google


Mendel:基于遗传隐喻的源代码推荐

遗传 算法 设计 熊猫宝来 技术 设计模式


优化一个基于搜索的代码推荐系统

推荐技术 算法 程序员 技术 Eclipse 软件


基于源码的推荐系统

推荐技术 程序员 软件 集成开发环境 设计 技术 Eclipse


使用从细粒度更改中进行统计学习的 API 代码推荐

Java 软件


基于群体知识的代码搜索查询扩展

Java Lucene 搜索引擎 技术 Android 软件 人生第一份工作 信息检索 Stack


带有具体参数的通用 API 使用代码推荐

推荐技术 技术 人工智能 Java 软件 程序员 信息检索 IntelliJ IDEA 机器学习


面向 Android 开发的代码推荐:如何见效以及有何改进?

推荐技术 Android 技术 设计 集成开发环境 机器学习 编程语言 数据挖掘


使用排序学习为代码搜索引擎排名代码示例

搜索引擎 技术 机器学习 Android 算法


设计和评估用于本地代码搜索的多推荐系统

推荐技术 Microsoft Visual Studio 设计 算法 集成开发环境 软件 技术 Go


增强并构造用户查询以支持有效的自由格式代码搜索

搜索引擎 Lucene Java 0verflow GitHub 软件 Stack Overflow


01.31 深度代码搜索

深度学习 人工智能 Java GitHub 技术 信息检索 编程语言 软件


用于代码搜索的主动归纳逻辑编程

机器学习 Eclipse Java 技术 设计 软件


当深度学习遇上代码搜索

深度学习 技术 人工智能 软件 设计 信息检索 GitHub Google Stack Overfl


01.23 利用软件重用经验进行自动化测试推荐

软件 推荐技术 搜索引擎 技术 算法 程序员 软件开发过程 开源软件 工程师 Eclipse 集成开


01.17 PerTether:通过故障注入对以太坊私有链进行性能测试

区块链 技术 支付 可以很 ____ 天然气 算法 软件工程 工程师 编程语言


FCDetector:C++代码功能克隆检测工具

软件 软件工程 编程语言 C语言 技术 人工智能 深度学习 FLOW 程序设计


TauMed:医学诊断领域中的图像分类测试数据扩增

深度学习 技术 人工智能 软件工程 算法 无人驾驶 南京大学


软件缺陷知识库的特定命名实体识别

软件 Eclipse 自然语言处理 Mozilla 硬件


12.30 基于知识图谱的智能软件Bug修复

软件 推荐技术 Stack Overflow 技术 设计 信息检索 开源软件 人生第一份工作 搜索引


12.27 由软件文本构建软件知识图谱

软件 Android Java 0verflow Stack Overflow 技术 自然语言处理


12.26 智能开发环境和软件知识图谱

软件 大数据 软件工程 算法 技术 设计 可视化技术 美好,一直在身边 数据挖掘 电脑 信息检索 B


12.25 解决问题查询的软件知识图谱

软件 软件工程 Neo4J 数据库 开源软件 Apache Lucene Stack Overflo


CodeHow:基于API理解和扩展布尔模型的有效代码搜索(E)

微软 Azure 程序员 ElasticSearch Microsoft Visual Studio


ETHIR: 以太坊字节码高层次分析框架

区块链 GitHub 虚拟机 比特币 技术 编程语言 证券投资基金


SAFEVM:以太坊智能合约的安全验证器

区块链 虚拟机 编译器 编程语言 技术 软件


KEVM:以太坊虚拟机的完整语义

虚拟机 脚本语言 区块链 编译器 数据结构 硬件 技术 JSON 编程语言 比特币


securify:智能合约的实证安全分析

自动推理 设计 区块链 中本聪 技术 阿兰·图灵 编程语言 比特币


大规模查找贪婪,挥霍和自杀的合约

软件 编程语言 区块链 虚拟机 新闻


智能合约的并行视角

区块链 数据结构 技术 投资


VULTRON:持续识别易受攻击的智能合约

技术 区块链 程序员 设计 软件 虚拟机 编程语言


TEETHER:发现以太坊的自动化漏洞

比特币 软件 区块链 数据结构 分布式计算 经济 银行 虚拟机 技术 JavaScript


基于区块链技术的软件资产交易子系统设计与实现

区块链 软件 技术 设计 Java 需求分析 物理 算法


基于区块链的软件交付过程管理系统的设计与实现

区块链 软件 技术 电脑 设计 数据结构 数据库 Redis 通信 P2P理财


基于区块链的软件知识产权认证系统的设计与实现

区块链 软件 设计 技术 知识产权 Linux Docker 阿里云计算 国创上头条 数据库 腾讯云


自动驾驶安全性挑战

无人驾驶 机器学习 技术 软件 软件安全 硬件 人机交互 设计 电脑 交通 机器人 历史


分析自动驾驶汽车测试期间发生的自动驾驶脱离

无人驾驶 软件 技术 工程师 硬件 特斯拉汽车 人生第一份工作 Google


对于自动驾驶系统卷积神经网络的系统性测试

人工智能 无人驾驶 可视化技术 CNN 深度学习 卡尔·高斯 汽车模型 技术 物理 机器学习


一种通过过程上下文生成技术测试自主机器人控制软件的方法

技术 机器人 软件 算法 硬件 电子游戏 物理 工程师 电脑 设计师 体育


10.23 自治软件系统的健壮性测试

技术 软件 设计 数据库 机器人


机器学习在高度自动化驾驶中的安全性

机器学习 无人驾驶 技术 算法 硬件 设计 电脑 大众汽车


在众包软件开发中性格对任务选择的影响:一种排序方法

众包 软件 技术 大学 跳槽那些事儿


移动群智感知的质量意识定价

众包 经济 智能手机 算法 分布式计算 设计


理解任务描述对众包竞赛中用户参与的影响:一种语言风格的视角

众包 知识产权 读书 语言 心理学 设计


在使用智能合约时节省资金

?? 汇编语言 虚拟机 数据库 区块链 编译器 设计 算术


欠优化的智能合约吞噬你的财产

区块链 编译器 比特币


EVM *:从以太网虚拟机的离线检测到在线加固

虚拟机 JavaScript 技术


ReGuard:智能合约中可重入漏洞检测

编程语言 软件 区块链 技术


为以太坊智能合约生成经济高效的测试套件

软件 算法 经济 技术 设计 区块链 演化计算


PlaTIBART:一种可重复测试的交互式物联网区块链应用平台

区块链 物联网 技术 软件 数据库 设计 通信 能源 运营商 JavaScript 比特币 物理 H


使智能合约更智能

脚本语言 区块链 虚拟机 数据结构 设计 技术 比特币


以太坊智能合约攻击研究综述

区块链 JavaScript 比特币 编程语言 程序员 数据结构 黑客 技术


智能合约的实证分析:平台、应用和设计模式

设计模式 区块链 比特币 数字货币 金融 算法 数学 编程语言


使用众包监控重现移动应用程序的上下文敏感的崩溃

软件 机器学习 数据结构 科技


神经网络鲁棒性评估

机器学习 人工智能 科技