Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ICSE
1999
IEEE-ACM
11 years 4 months ago
Dynamically Discovering Likely Program Invariants to Support Program Evolution
√źExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
Michael D. Ernst, Jake Cockrell, William G. Griswo...
books