/Invariant-tools

Tools for running Daikon and comparing invariants

Primary LanguagePython

Invariant tools

This is a tool set for running Daikon and processing invariant data sets. Most of the tools were written in Python and some in Bash.

The tool set was used to prepare data for "Effective Online Software Anomaly Detection" ISSTA 2017

Tools start with "smt" are for submitting jobs to VIDIA clusters, need to be run in a VIDIA instance.