Keith, Daniel
(University of Oregon, 2012)
Dynamic invariant detection is a software analysis technique that uses traces of function entry and exit from executing programs and infers partial specifications that characterize the observed behavior. The specifications ...