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

cs.brown.edu

Save to Library

Create Alert

Cite

Launch Research Feed

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.