SIGN IN
SIGN UP
New ideas track: testing mapreduce-style programs
Full Text:
PDF
Buy this Article
Authors:
Christoph Csallner
University of Texas at Arlington, Arlington, TX, USA
Leonidas Fegaras
University of Texas at Arlington, Arlington, TX, USA
Chengkai Li
University of Texas at Arlington, Arlington, TX, USA
Published in:
· Proceeding
ESEC/FSE '11
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Pages 504-507
ACM
New York, NY
, USA
©2011
table of contents
ISBN: 978-1-4503-0443-6
doi>
10.1145/2025113.2025204
2011 Article
Short paper
Bibliometrics
· Downloads (6 Weeks): 4
· Downloads (12 Months): 37
· Downloads (cumulative): 113
· Citation Count: 0
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
SIGSOFT/FSE'14
Share:
|
Tags:
algorithms
assertion checkers
dynamic symbolic execution
mapreduce
reliability
reliability
symbolic execution
test generation
testing tools
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder