@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@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.},
}