Corpus ID: 62440578

Automatic Debugging Using Potential Invariants

@inproceedings{Pytlik2003AutomaticDU,
  title={Automatic Debugging Using Potential Invariants},
  author={Brock Pytlik},
  year={2003}
}
  • Brock Pytlik
  • Published 2003
  • Computer Science
  • Date Steve Reiss, Reader iii Acknowledgements I would like to thank Manos Renieris for his guidance on this project. I also want to thank my advisors and readers, Shriram Krishnamurthi and Steve Reiss who oversaw this project and reviewed my thesis. 

    References

    SHOWING 1-6 OF 6 REFERENCES
    Simplifying failure-inducing input
    • 76
    • PDF
    Tracking down software bugs using automatic anomaly detection
    • 472
    • PDF
    Dynamically discovering likely program invariants
    • 216
    • PDF
    An empirical investigation of program spectra
    • 161
    • PDF
    Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria
    • 905
    • PDF