Browse Graduate Dissertations and Theses at Illinois by Subject "Invariant Generation"
Now showing items 1-1 of 1
(2013-02-03)This thesis describes the generation and use of program invariants to improve software reliability. It introduces PRECIS, a technique for automatic invariant generation based on program path guided clustering. The ...