A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Using dynamic analysis to discover polynomial and array invariants
2012
2012 34th International Conference on Software Engineering (ICSE)
Dynamic invariant analysis identifies likely properties over variables from observed program traces. These properties can aid programmers in refactoring, documenting, and debugging tasks by making dynamic patterns visible statically. Two useful forms of invariants involve relations among polynomials over program variables and relations among array variables. Current dynamic analysis methods support such invariants in only very limited forms. We combine mathematical techniques that have not
doi:10.1109/icse.2012.6227149
dblp:conf/icse/NguyenKWF12
fatcat:q2yihdfyinc6bbej5izmuo5j7y