A Simple Runtime Invariant Miner

TLDR; This tutorial is a complete implementation of a Daikon-like runtime invariant miner in Python. It implements basic instrumentation, collection of execution traces, invariant checking, and suppression of redundandant invariants. The Oracle Problem in Software Testing One of the key challenges in software testing is the Oracle Problem : That is, how do we determine if the output of a test is…