Automatic debugging using potential invariants

Download: PDF.

“Automatic debugging using potential invariants” by Brock Pytlik, Brown University Honors Thesis, (Providence, Rhode Island). May 2003.

Abstract

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}
}

Back to Publications whose methodology uses invariant detection.