NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Generalized Abstract Symbolic SummariesCurrent 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.
Document ID
20100024480
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Person, Suzette
(Nebraska Univ. Lincoln, NE, United States)
Dwyer, Matthew B.
(Nebraska Univ. Lincoln, NE, United States)
Date Acquired
August 24, 2013
Publication Date
April 1, 2009
Publication Information
Publication: Proceedings of the First NASA Formal Methods Symposium
Subject Category
Computer Programming And Software
Funding Number(s)
CONTRACT_GRANT: NSF CNS-0720654
CONTRACT_GRANT: NSF CCF-0541263
CONTRACT_GRANT: NNX08AV20A
Distribution Limits
Public
Copyright
Public Use Permitted.
No Preview Available