CrowdMine: Towards crowdsourced human-assisted verification

Proceedings - Design Automation Conference

Volumn , Issue , 2012, Pages 1254-1255

  Li, Wenchao ^a   Seshia, Sanjit A ^a   Jha, Somesh ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

crowdsourcing; human computation; specification; verification

Indexed keywords

ASSERTION-BASED VERIFICATION; CROWDSOURCING; ERROR EXPLANATION; EXECUTION TRACE; HUMAN COMPUTATION; INCENTIVE MECHANISM; VERIFICATION PROCESS;

SPECIFICATIONS; VERIFICATION;

COMPUTER AIDED DESIGN;

EID: 84863554212     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2228360.2228590     Document Type: Conference Paper

References (10)

1. Amazon's mechanical turk. www.mturk.com/mturk/welcome.
2. A. DeOrio and V. Bertacco. Human computing for EDA. In Design Automation Conference (DAC), pages 621-622, 2009.
3. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao. The daikon system for dynamic detection of likely invariants. Sci. Comput. Program., 69(1-3):35-45, 2007. (Pubitemid 350087239)
4. J. Howe. Crowdsourcing: A definition. http://crowdsourcing.typepad.com.
5. W. Li, A. Forin, and S. A. Seshia. Scalable specification mining for verification and diagnosis. In Proceedings of the Design Automation Conference (DAC), pages 755-760, June 2010.
6. G. Little, L. B. Chilton, M. Goldman, and R. C. Miller. TurKit: Human computation algorithms on mechanical turk. In Proc. 23nd ACM symposium on User interface software and technology (UIST), pages 57-66, 2010.
7. A. J. Quinn and B. B. Bederson. Human computation: A survey and taxonomy of a growing field. In ACM Conference on Human Factors in Computer Systems (CHI), 2011.
8. T. W. Schiller and M. D. Ernst. Rethinking the economics of software engineering. In In Workshop on the Future of Software Engineering Research, pages 325-330, 2010.
9. A. Shamir. How to share a secret. Commun. ACM, 22:612-613, November 1979.
10. L. von Ahn. Human Computation. PhD thesis, Carnegie Mellon University, December 2005.