Browsing by Subject "Daikon"

Navigation

Display Options

Results

  • 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 ...

Search Scholars' Bank

Browse

My Account