SIGN IN
SIGN UP
SideTrack: generalizing dynamic atomicity analysis
Full Text:
Pdf
Buy this Article
Authors:
Jaeheon Yi
University of California at Santa Cruz, Santa Cruz, CA
Caitlin Sadowski
University of California at Santa Cruz, Santa Cruz, CA
Cormac Flanagan
University of California at Santa Cruz, Santa Cruz, CA
Published in:
· Proceeding
PADTAD '09
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Article No. 8
ACM
New York, NY
, USA
©2009
table of contents
ISBN: 978-1-60558-655-7
doi>
10.1145/1639622.1639630
2009 Article
Bibliometrics
· Downloads (6 Weeks): 2
· Downloads (12 Months): 18
· Downloads (cumulative): 98
· Citation Count: 11
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
ISSTA '13
Share:
|
Tags:
algorithms
atomicity
dynamic analysis
languages
program analysis
reliability
serializability
specification techniques
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