Download: PDF.
“Automatic debugging using potential invariants” by Brock Pytlik, Brown University Honors Thesis, (Providence, Rhode Island). May 2003.
This thesis does not contain an abstract.
Download: PDF.
BibTeX entry:
@techreport{Pytlik2003,
author = {Brock Pytlik},
title = {Automatic debugging using potential invariants},
institution = {Brown University},
type = {Honors Thesis},
address = {Providence, Rhode Island},
month = may,
year = {2003}
}