Files:DescriptionFile size FormatBrowse
Fulltext0.38 MBPDF (requires Acrobat Reader)Previous
PostScript
  
Authors:David Byers: Department of Computer Science, Linköping University, Sweden
Mariam Kamkar: Department of Computer Science, Linköping University, Sweden
Publication title:A Hybrid Approach to Propagation Analysis
Conference:Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
Publication type: Abstract and Fulltext
Issue:001
Article No.:016
Abstract:Propagation analysis is a dynamic code analysis technique that can be used to quantitatively assess certain software properties that are otherwise difficult to assess; such as testability; safety and security. The currently accepted analysis technique relies heavily on repeated execution of the code being assessed; and is therefore very expensive to apply. We are currently developing static analysis methods to assist in the dynamic assessment. Our aim is to replace the most expensive parts of the dynamic analysis technique with less expensive and nearly as accurate static analysis techniques. This paper summarizes our ideas on how this can be done.
Language:English
Year:1997
No. of pages:5
Pages:193-197
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ea/cis/1997/009/16/cis9700916.pdf
Available:1997-09-10
Publisher:Linköping University Electronic Press; Linköpings universitet

REFERENCE TO THIS PAGE
David Byers, Mariam Kamkar (1997). A Hybrid Approach to Propagation Analysis, Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97) http://www.ep.liu.se/ecp_article/index.en.aspx?issue=001;article=016 (accessed 11/23/2014)