| |
Dynamically Discovering Likely Program Invariants to Support Program Evolution
Ernst M., Cockrell J., Griswold W., Notkin D. IEEE Transactions on Software Engineering 27(2): 99-123, 2001. Type: Article
Many teachers of programming advocate the use of comments, but comments do not necessarily reflect what the code actually does, particularly after updating. The use of assertions (executable comments) is better, since their failure wil...
|
Sep 1 2001 |
