Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

CrowdMine: Towards Crowdsourced Human-Assisted Verification

Wenchao Li, Sanjit A. Seshia and Somesh Jha

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2012-121
May 25, 2012

http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-121.pdf

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 citation:

@techreport{Li:EECS-2012-121,
    Author = {Li, Wenchao and Seshia, Sanjit A. and Jha, Somesh},
    Title = {CrowdMine: Towards Crowdsourced Human-Assisted Verification},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2012},
    Month = {May},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-121.html},
    Number = {UCB/EECS-2012-121},
    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.}
}

EndNote citation:

%0 Report
%A Li, Wenchao
%A Seshia, Sanjit A.
%A Jha, Somesh
%T CrowdMine: Towards Crowdsourced Human-Assisted Verification
%I EECS Department, University of California, Berkeley
%D 2012
%8 May 25
%@ UCB/EECS-2012-121
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-121.html
%F Li:EECS-2012-121