| Files: | Description | File size | Format | Browse |
| Fulltext | 0.38 MB | PDF (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 |
Ph.D., Lic. Theses
