Skip to main content
Open Access Publications from the University of California
Search eScholarship
Refine Search
All of eScholarship
This Series
UCLA
eScholarship at …
UC Berkeley
UC Davis
UC Irvine
UCLA
UC Merced
UC Riverside
UC San Diego
UCSF
UC Santa Barbara
UC Santa Cruz
UC Office of the President
Lawrence Berkeley National Laboratory
UC Agriculture & Natural Resources
UCLA
Deposit
Manage
Submissions
Menu
About eScholarship
UC Open Access Policies
Journals
Academic Units
eScholarship
UCLA
UCLA Previously Published Works
Download PDF
Main
PDF
Citation
EndNote
Share
Email
Facebook
Twitter
Data-Driven Loop Invariant Inference with Automatic Feature Synthesis.
2017
Author(s):
Padhi, S
Millstein, TD
et al.
...
Main Content
Metrics
Author & Article Info
Main Content
Download PDF to View
View Larger
Thumbnails
Document Outline
Attachments
Previous
Next
Highlight all
Match case
Presentation Mode
Open
Print
Download
Current View
Go to First Page
Go to Last Page
Rotate Clockwise
Rotate Counterclockwise
Text Selection Tool
Hand Tool
Document Properties…
Toggle Sidebar
Find
Previous
Next
Presentation Mode
Open
Print
Download
Current View
Tools
Zoom Out
Zoom In
Automatic Zoom
Actual Size
Page Fit
Page Width
50%
75%
100%
125%
150%
200%
300%
400%
More Information
Less Information
Close
Enter the password to open this PDF file:
Cancel
OK
File name:
-
File size:
-
Title:
-
Author:
-
Subject:
-
Keywords:
-
Creation Date:
-
Modification Date:
-
Creator:
-
PDF Producer:
-
PDF Version:
-
Page Count:
-
Close
Preparing document for printing…
0%
Cancel
Top
