Differential symbolic execution
Person, Suzette J.
The University of Nebraska - Lincoln ProQuest Dissertations & Theses, 2009. 3365729.
Welcome to My Research!
You may have access to the free features available through My Research. You can save searches, save documents, create alerts and more. Please log in through your library or institution to check if you have access.
Translate this article into 20 different languages!
If you log in through your library or institution you might have access to this article in multiple languages.
Get access to 20+ different citations styles
Styles include MLA, APA, Chicago and many more. This feature may be available for free if you log in through your library or institution.
Looking for a PDF of this document?
You may have access to it for free by logging in through your library or institution.
Want to save this document?
You may have access to different export options including Google Drive and Microsoft OneDrive and citation management tools like RefWorks and EasyBib. Try logging in through your library or institution to get access to these tools.
Document Preview
Copyright information
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Why can't you access the complete full text?
This is a short preview of the document. Although you have access to some ProQuest content, it looks like this particular document is not part of your library's current ProQuest subscription.
Please contact your library, or the institution that provides you access to research databases, to get access to the full text.
Alternatively, you can purchase a copy of the complete full text for this document directly from ProQuest using the option below: