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 比特幣 編程語言 程序員 數據結構 黑客 技術


智能合約的實證分析:平臺、應用和設計模式

設計模式 區塊鏈 比特幣 數字貨幣 金融 算法 數學 編程語言


使用眾包監控重現移動應用程序的上下文敏感的崩潰

軟件 機器學習 數據結構 科技


神經網絡魯棒性評估

機器學習 人工智能 科技