SIGN IN
SIGN UP
The case for analysis preserving language transformation
Full Text:
Pdf
Buy this Article
Authors:
Xiaolan Zhang
IBM T. J. Watson Research Center, Hawthorne, NY
Larry Koved
IBM T. J. Watson Research Center, Hawthorne, NY
Marco Pistoia
IBM T. J. Watson Research Center, Hawthorne, NY
Sam Weber
IBM T. J. Watson Research Center, Hawthorne, NY
Trent Jaeger
IBM T. J. Watson Research Center, Hawthorne, NY
Guillaume Marceau
Brown University, Providence, RI
Liangzhao Zeng
IBM T. J. Watson Research Center, Hawthorne, NY
2006 Article
Bibliometrics
· Downloads (6 Weeks): 1
· Downloads (12 Months): 13
· Downloads (cumulative): 288
· Citation Count: 3
Published in:
· Proceeding
ISSTA '06
Proceedings of the 2006 international symposium on Software testing and analysis
Pages 191 - 202
ACM
New York, NY
, USA
©2006
table of contents
ISBN:1-59593-263-1
doi>
10.1145/1146238.1146260
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:
c
coding tools and techniques
java
language transformation
language translation
languages
security
security
software/program verification
static analysis
verification
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