SIGN IN
SIGN UP
Testing a database for race conditions with QuickCheck: none
Full Text:
PDF
Get this Article
see
source materials
below for
more options
Authors:
John M. Hughes
Chalmers University of Technology, GÖTEBORG, Sweden
Hans Bolinder
Ericsson AB, STOCKHOLM, Sweden
Published in:
· Proceeding
Erlang '11
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Pages 72-77
Tokyo, Japan — September 23 - 23, 2011
ACM
New York, NY
, USA
©2011
table of contents
ISBN: 978-1-4503-0859-5
doi>
10.1145/2034654.2034667
2011 Article
Bibliometrics
· Citation Count: 4
· Downloads (cumulative): 156
· Downloads (12 Months): 12
· Downloads (6 Weeks): 1
Tools and Resources
Buy this Article
Recommend the ACM DL
to your organization
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
ICFP '18
Share:
|
Author Tags
database management system engines
erlang
experimentation
functional languages
quickcheck
reliability
software testing and debugging
verification
Contact Us
|
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