@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@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.},
}