A dynamic failure model for performing propagation and infection analysis on computer programs
This thesis introduces a methodology for determining program locations where faults can easily hide. It is a program structure-based model that analyzes program flow both statically and dynamically; each program location is analyzed relative to its preceding locations and succeeding locations. A sta...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
W&M ScholarWorks
1990
|
| Subjects: | |
| Online Access: | https://scholarworks.wm.edu/etd/1539623788 https://scholarworks.wm.edu/cgi/viewcontent.cgi?article=3687&context=etd |