Loading...
Please wait, while we are loading the content...
Similar Documents
Generalized abstract symbolic summaries
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Person, Suzette Dwyer, Matthew B. |
| Copyright Year | 2009 |
| Description | Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program s lifetime. This is due, in large part, to the use of syntactic program techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we develop techniques for performing abstract semantic differencing of program behaviors that offer the potential for improved precision. |
| File Size | 196127 |
| Page Count | 10 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20100024480 |
| Archival Resource Key | ark:/13960/t18m29242 |
| Language | English |
| Publisher Date | 2009-04-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Costs Software Reliability Checkout Program Verification Computers Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
