Add def/use pruning sources

zotero.bib

@@ -96,6 +96,24 @@
   file = {/home/christoph/Notes/Zotero/storage/WI2QDM9X/Goloubeva et al. - 2003 - Soft-error detection using control flow assertions.pdf}
 }
 
+@inproceedings{guthoffCombiningSoftwareimplementedSimulationbased1995,
+  title = {Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method},
+  booktitle = {Twenty-{{Fifth International Symposium}} on {{Fault-Tolerant Computing}}. {{Digest}} of {{Papers}}},
+  author = {Guthoff, J. and Sieh, V.},
+  date = {1995},
+  pages = {196--206},
+  publisher = {IEEE Comput. Soc. Press},
+  location = {Pasadena, CA, USA},
+  doi = {10.1109/FTCS.1995.466978},
+  url = {http://ieeexplore.ieee.org/document/466978/},
+  urldate = {2026-09-10},
+  abstract = {Fault/error injection has emerged as a valuable meansfor evaluating the dependubility of a system. In particular, sopware-based techniques, which can be described as software-implemented and sitnulation-based techniques, have become verypopular because of the relative simplicity of injecting faults. Afrer discussing the advantages and drawbacks of these techniques, two approaches are introduced which try to overcome crucial problems when using software-based fault injection techniques. The first one improves the accuracy of software-implemented fault injection experiments. The second one offers detailed insights into the system dynamics in the presence of faults. Withthis knowledge, the number offault injections, U major concern in simulation-based.fault injection, can be sign\$cantly reduced. These approaches can be joined together offering accuracy offault injection results us well as transparency of the system dynamics in the presence of faults. A case study, in which the defacto dependabilityproperties of a standard component, a Motorola MC88100 RISC processor, are evaluated shows that.},
+  eventtitle = {Twenty-{{Fifth International Symposium}} on {{Fault-Tolerant Computing}}. {{Digest}} of {{Papers}}},
+  isbn = {978-0-8186-7079-4},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/4AHIQGKC/Guthoff and Sieh - 1995 - Combining software-implemented and simulation-based fault injection into a single fault injection me.pdf}
+}
+
 @article{hammingErrorDetectingError,
   title = {Error Detecting and Error Correcting Codes},
   author = {Hamming, Richard W},
@@ -373,6 +391,24 @@
   file = {/home/christoph/Notes/Zotero/storage/82VVGKJV/Sletten - 2021 - WebAssembly the definitive guide safe, fast, and portable code.pdf}
 }
 
+@inproceedings{smithMethodDetermineEquivalent1995,
+  title = {A Method to Determine Equivalent Fault Classes for Permanent and Transient Faults},
+  booktitle = {Annual {{Reliability}} and {{Maintainability Symposium}} 1995 {{Proceedings}}},
+  author = {Smith, D.T. and Johnson, B.W. and Profeta, J.A. and Bozzolo, D.G.},
+  date = {1995},
+  pages = {418--424},
+  publisher = {IEEE},
+  location = {Washington, DC, USA},
+  doi = {10.1109/RAMS.1995.513278},
+  url = {http://ieeexplore.ieee.org/document/513278/},
+  urldate = {2026-09-10},
+  abstract = {CONCLUSIONS The expanding size and complexity of dependable computing systems has significantly incrcased their cost while complicating the estimation of system dependability attributes such as fault coverage and latency.The increasing requirements of safety and reliability for a dependable system, however, have made the evaluation of dependability attributes a crucial task. One approach to performing such an evaluation is through fault injection. The development of a method which enumerates the equivalent faults associated with a given fault injection experiment would significantly reduce the amount of effort required to measure dependability parameters to the desired degree of accuracy and confidence.This research has developed a new method for detcrmining the set of equivalent faults for either a permanent or transient fault injection experiment. The primary objective of the research effort was to expand the data obtained from a single fault injection experiment into a set of data associated with the equivalent fault set. The end result is an automated method for determining equivalent faults from a set of fault injection experiments. The expanded equivalent data sets are then evaluated to determine dependability parameter estimates for fault coverage and error latency.},
+  eventtitle = {Annual {{Reliability}} and {{Maintainability Symposium}} 1995},
+  isbn = {978-0-7803-2470-1},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/IGW4FNVP/Smith et al. - 1995 - A method to determine equivalent fault classes for permanent and transient faults.pdf}
+}
+
 @article{soloukiDependabilityEmbeddedSystems2024,
   title = {Dependability in {{Embedded Systems}}: {{A Survey}} of {{Fault Tolerance Methods}} and {{Software-Based Mitigation Techniques}}},
   shorttitle = {Dependability in {{Embedded Systems}}},