Browsing K-State Electronic Theses, Dissertations, and Reports: 2004 - by Subject "Daikon"

Now showing items 1-1 of 1

Generating high confidence contracts without user input using Daikon and ESC/Java2

Rayakota, Balaji (Kansas State University, 2013-05-01)

Invariants are properties which are asserted to be true at certain program points. Invariants are of paramount importance when proving program correctness and program properties. Method, constructor, and class invariants ...