CrowdMine: Towards Crowdsourced Human-Assisted Verification
Wenchao Li, Sanjit A. Seshia, and Somesh Jha. CrowdMine: Towards Crowdsourced Human-Assisted Verification. In Proceedings of the Design Automation Conference (DAC), June 2012.
Download
Abstract
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.
BibTeX
@InProceedings{li-dac12, author = {Wenchao Li and Sanjit A. Seshia and Somesh Jha}, title = {CrowdMine: Towards Crowdsourced Human-Assisted Verification}, booktitle = {Proceedings of the Design Automation Conference (DAC)}, month = {June}, year = {2012}, abstract = {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.}, }