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

[pdf] 

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.},
}