J
Jake Cockrell
Researcher at University of Washington
Publications - 2
Citations - 2191
Jake Cockrell is an academic researcher from University of Washington. The author has contributed to research in topics: Program derivation. The author has an hindex of 2, co-authored 2 publications receiving 2134 citations.
Papers
More filters
Proceedings ArticleDOI
Dynamically discovering likely program invariants to support program evolution
TL;DR: This paper describes techniques for dynamically discovering invariants, along with an instrumenter and an inference engine that embody these techniques, and reports on the application of the engine to two sets of target programs.
Journal ArticleDOI
Dynamically Discovering Likely Program Invariants to Support Program Evolution
TL;DR: In this paper, the authors describe techniques for dynamically discovering invariants, along with an implementation, named Daikon, that embodies these techniques, and demonstrate that, at least for small programs, invariant inference is both accurate and useful.