CrowdMine: Towards crowdsourced human-assisted verification
CrowdMine: Towards crowdsourced human-assisted verification
复制标题
CrowdMine：走向众包人工辅助验证
DOI：
10.1145/2228360.2228590
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
S. Jha
中科院分区：
文献类型：
--
作者：
Wenchao Li;S. Seshia;S. Jha
我们建议使用众包和人工计算来帮助解决验证和调试中的难题，这些问题可以受益于人类的洞察力。作为一个特定场景，我们解释非专家人员如何通过查找以图像表示的模拟或执行跟踪部分中的模式来协助验证过程。此类模式可以通过多种方式使用，包括基于断言的验证、改进覆盖范围、错误定位和错误解释。讨论了几个相关问题，包括隐私和激励机制。
We propose the use of crowdsourcing and human computation to help solve difficult problems in verification and debugging that can benefit from human insight. As a specific scenario, we explain how non-expert humans can assist in the verification process by finding patterns in portions of simulation or execution traces which are represented as images. Such patterns can be used in a variety of ways, including assertion-based verification, improving coverage, bug localization, and error explanation. Several related issues are discussed, including privacy and incentive mechanisms.