Home

Table of contents

1. Beet
   1. Input CSV format
   2. Instrumentation example
      1. Generation of declaration file
      2. Generation of data trace file
2. Modified version of Daikon
   1. Daikon
   2. Invariants taxonomy
   3. Daikon container configuration options
   4. Modifications on Daikon
      1. Added invariants
      2. Disabled invariants
      3. Enabled invariants
      4. Changes in computeConfidence functions
      5. Suppression of derived variables
      6. Invariants disabled in the default Daikon configuration